Searched refs:evtchn_upcall_pending (Results 1 – 2 of 2) sorted by relevance
| /freebsd-head/sys/contrib/xen/ | ||
| HD | xen.h | 721 uint8_t evtchn_upcall_pending; member |
| /freebsd-head/sys/dev/xen/bus/ | ||
| HD | xen_intr.c | 377 v->evtchn_upcall_pending = 0; in xen_intr_handle_upcall() |