Searched refs:evtchn_port_t (Results 1 – 10 of 10) sorted by relevance
94 evtchn_port_t port;121 evtchn_port_t remote_port;123 evtchn_port_t local_port;144 evtchn_port_t port;160 evtchn_port_t port;173 evtchn_port_t port;184 evtchn_port_t port;194 evtchn_port_t port;209 evtchn_port_t port;247 evtchn_port_t port;[all …]
142 XEN_GUEST_HANDLE(evtchn_port_t) ports;
1090 evtchn_port_t evtchn; /* OUT - remote port of the event
118 #define BYTES_PER_PORT (sizeof(evtchn_port_t) / sizeof(uint8_t))125 evtchn_port_t ring[2048];136 static evtchn_port_t xenevt_ev;146 static void xenevt_record(struct xenevt_d *, evtchn_port_t);154 static evtchn_port_t xenevt_alloc_event(void) in xenevt_alloc_event()292 xenevt_record(struct xenevt_d *d, evtchn_port_t port) in xenevt_record()
107 static evtchn_port_t vcpu_ipi_to_evtch[NBSD_XEN_MAX_VCPUS];429 evtchn_port_t evtchn = pin; in xen_evtchn_mask()440 evtchn_port_t evtchn = pin; in xen_evtchn_unmask()454 evtchn_port_t evtchn = pin; in xen_evtchn_addroute()461 evtchn_port_t boundport = idt_vec; in xen_evtchn_addroute()479 evtchn_port_t evtchn = pin; in xen_evtchn_delroute()486 evtchn_port_t boundport = idt_vec; in xen_evtchn_delroute()530 evtchn_port_t534 evtchn_port_t evtchn; in bind_vcpu_to_evtch()
58 evtchn_port_t bind_vcpu_to_evtch(cpuid_t);
128 evtchn_port_t evtchn; in xen_ipi_init()172 evtchn_port_t evtchn; in xen_send_ipi()
144 evtchn_port_t evtchn;
110 evtchn_port_t bufioreq_port;
280 evtchn_port_t ci_ipi_evtchn;