Searched defs:evtchn_bind_ipi (Results 1 – 1 of 1) sorted by relevance
91 struct evtchn_bind_ipi { struct92 uint32_t vcpu;94 evtchn_port_t port;