HomeSort by: relevance | last modified time | path
    Searched refs:evtchn_port_t (Results 1 - 10 of 10) sorted by relevancy

  /src/sys/external/mit/xen-include-public/dist/xen/include/public/
event_channel.h 79 typedef uint32_t evtchn_port_t; typedef in typeref:typename:uint32_t
80 DEFINE_XEN_GUEST_HANDLE(evtchn_port_t);
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
    [all...]
sched.h 142 XEN_GUEST_HANDLE(evtchn_port_t) ports;
domctl.h 1090 evtchn_port_t evtchn; /* OUT - remote port of the event
  /src/sys/arch/xen/include/
evtchn.h 58 evtchn_port_t bind_vcpu_to_evtch(cpuid_t);
  /src/sys/arch/xen/xen/
xenevt.c 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)
292 xenevt_record(struct xenevt_d *d, evtchn_port_t port)
evtchn.c 107 static evtchn_port_t vcpu_ipi_to_evtch[NBSD_XEN_MAX_VCPUS];
429 evtchn_port_t evtchn = pin;
440 evtchn_port_t evtchn = pin;
454 evtchn_port_t evtchn = pin;
461 evtchn_port_t boundport = idt_vec;
479 evtchn_port_t evtchn = pin;
486 evtchn_port_t boundport = idt_vec;
530 evtchn_port_t
534 evtchn_port_t evtchn;
  /src/sys/external/mit/xen-include-public/dist/xen/include/public/xsm/
flask_op.h 144 evtchn_port_t evtchn;
  /src/sys/arch/xen/x86/
xen_ipi.c 125 evtchn_port_t evtchn;
170 evtchn_port_t evtchn;
  /src/sys/external/mit/xen-include-public/dist/xen/include/public/hvm/
dm_op.h 110 evtchn_port_t bufioreq_port;
  /src/sys/arch/x86/include/
cpu.h 280 evtchn_port_t ci_ipi_evtchn;

Completed in 18 milliseconds