Searched refs:evtchn_upcall_pending (Results 1 – 2 of 2) sorted by relevance
/Zephyr-Core-3.5.0/include/zephyr/xen/public/ | ||
D | xen.h | 289 uint8_t evtchn_upcall_pending; member |
/Zephyr-Core-3.5.0/drivers/xen/ | ||
D | events.c | 239 vcpu->evtchn_upcall_pending = 0; in events_isr() |