Searched defs:evtchn (Results 1 – 8 of 8) sorted by relevance
429 evtchn_port_t evtchn = pin; in xen_evtchn_mask() local440 evtchn_port_t evtchn = pin; in xen_evtchn_unmask() local454 evtchn_port_t evtchn = pin; in xen_evtchn_addroute() local479 evtchn_port_t evtchn = pin; in xen_evtchn_delroute() local534 evtchn_port_t evtchn; in bind_vcpu_to_evtch() local560 int evtchn; in bind_virq_to_evtch() local613 int evtchn; in unbind_virq_from_evtch() local653 int evtchn; in get_pirq_to_evtch() local674 int evtchn; in bind_pirq_to_evtch() local708 int evtchn = pirq_to_evtch[pirq]; in unbind_pirq_from_evtch() local
231 int evtchn; in xb_resume_comms() local247 int evtchn; in xb_suspend_comms() local
125 evtchn_port_t evtchn; in xen_ipi_init() local170 evtchn_port_t evtchn; in xen_send_ipi() local
176 int evtchn; in xen_intr_establish_xname() local
75 uint32_t evtchn; member94 uint32_t evtchn; member
144 evtchn_port_t evtchn; member
817 uint32_t evtchn; /* Event channel for console page. */ member
1090 evtchn_port_t evtchn; /* OUT - remote port of the event member