Searched refs:evtchn_upcall_pending (Results 1 - 2 of 2) sorted by relevance

/freebsd-current/sys/contrib/xen/
H A Dxen.h697 * 'evtchn_upcall_pending' is written non-zero by Xen to indicate
721 uint8_t evtchn_upcall_pending; member in struct:vcpu_info
/freebsd-current/sys/dev/xen/bus/
H A Dxen_intr.c377 v->evtchn_upcall_pending = 0;

Completed in 73 milliseconds