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

  /src/sys/arch/amd64/include/
profile.h 87 curcpu()->ci_vcpu->evtchn_upcall_mask = 1;
94 return (curcpu()->ci_vcpu->evtchn_upcall_mask);
100 curcpu()->ci_vcpu->evtchn_upcall_mask = psl;
  /src/sys/arch/xen/x86/
xen_intr.c 88 curcpu()->ci_vcpu->evtchn_upcall_mask = 1;
103 ci->ci_vcpu->evtchn_upcall_mask = 0;
118 psl = curcpu()->ci_vcpu->evtchn_upcall_mask;
131 ci->ci_vcpu->evtchn_upcall_mask = psl;
xen_ipi.c 310 KASSERT(!ci->ci_vcpu->evtchn_upcall_mask);
cpu.c 850 vci->evtchn_upcall_mask = 1;
947 vci->evtchn_upcall_mask = 1;
  /src/sys/external/mit/xen-include-public/dist/xen/include/public/
xen.h 689 uint8_t evtchn_upcall_mask; member in struct:vcpu_info
  /src/sys/arch/xen/xen/
evtchn.c 1143 u_long upcall_mask = ci->ci_vcpu->evtchn_upcall_mask;
1159 printf("evtchn_upcall_pending %ld evtchn_upcall_mask %ld"

Completed in 16 milliseconds