Searched refs:evtchn_upcall_mask (Results 1 - 6 of 6) sorted by relevance

/netbsd-current/sys/arch/amd64/include/
H A Dprofile.h87 curcpu()->ci_vcpu->evtchn_upcall_mask = 1;
94 return (curcpu()->ci_vcpu->evtchn_upcall_mask);
100 curcpu()->ci_vcpu->evtchn_upcall_mask = psl;
/netbsd-current/sys/arch/xen/x86/
H A Dxen_intr.c88 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;
H A Dxen_ipi.c310 KASSERT(!ci->ci_vcpu->evtchn_upcall_mask);
H A Dcpu.c850 vci->evtchn_upcall_mask = 1;
947 vci->evtchn_upcall_mask = 1;
/netbsd-current/sys/external/mit/xen-include-public/dist/xen/include/public/
H A Dxen.h689 uint8_t evtchn_upcall_mask; member in struct:vcpu_info
/netbsd-current/sys/arch/xen/xen/
H A Devtchn.c1143 u_long upcall_mask = ci->ci_vcpu->evtchn_upcall_mask;
1159 printf("evtchn_upcall_pending %ld evtchn_upcall_mask %ld"

Completed in 101 milliseconds