HomeSort by: relevance | last modified time | path
    Searched refs:evtchn_upcall_pending (Results 1 - 4 of 4) sorted by relevancy

  /src/sys/arch/xen/x86/
hypervisor_machdep.c 220 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);
xen_intr.c 105 if (__predict_false(ci->ci_vcpu->evtchn_upcall_pending))
133 if (__predict_false(ci->ci_vcpu->evtchn_upcall_pending) && psl == 0)
  /src/sys/external/mit/xen-include-public/dist/xen/include/public/
xen.h 663 * 'evtchn_upcall_pending' is written non-zero by Xen to indicate
687 uint8_t evtchn_upcall_pending; member in struct:vcpu_info
  /src/sys/arch/xen/xen/
evtchn.c 1142 u_long upcall_pending = ci->ci_vcpu->evtchn_upcall_pending;
1159 printf("evtchn_upcall_pending %ld evtchn_upcall_mask %ld"

Completed in 13 milliseconds