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

/netbsd-current/sys/arch/xen/x86/
H A Dhypervisor_machdep.c220 while (vci->evtchn_upcall_pending) {
223 vci->evtchn_upcall_pending = 0;
301 while (vci->evtchn_upcall_pending) {
302 vci->evtchn_upcall_pending = 0;
336 xen_atomic_set_bit(&vci->evtchn_upcall_pending, 0);
H A Dxen_intr.c105 if (__predict_false(ci->ci_vcpu->evtchn_upcall_pending))
133 if (__predict_false(ci->ci_vcpu->evtchn_upcall_pending) && psl == 0)
/netbsd-current/sys/external/mit/xen-include-public/dist/xen/include/public/
H A Dxen.h663 * 'evtchn_upcall_pending' is written non-zero by Xen to indicate
687 uint8_t evtchn_upcall_pending; member in struct:vcpu_info
/netbsd-current/sys/arch/xen/xen/
H A Devtchn.c1142 u_long upcall_pending = ci->ci_vcpu->evtchn_upcall_pending;
1159 printf("evtchn_upcall_pending %ld evtchn_upcall_mask %ld"

Completed in 177 milliseconds