Searched defs:evtchn_bind_ipi (Results 1 – 1 of 1) sorted by relevance

/u-boot/include/xen/interface/
A D	event_channel.h	92 struct evtchn_bind_ipi { struct 93 u32 vcpu; 95 evtchn_port_t port;

Completed in 5 milliseconds

Last Index update Fri Aug 22 08:59:00 CST 2025