Searched refs:evtchn_upcall_pending (Results 1 – 2 of 2) sorted by relevance
| /NextBSD/sys/xen/interface/ | ||
| HD | xen.h | 634 uint8_t evtchn_upcall_pending; member |
| /NextBSD/sys/x86/xen/ | ||
| HD | xen_intr.c | 540 v->evtchn_upcall_pending = 0; in xen_intr_handle_upcall() |