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