Symbol: SIR_XENIPL_HIGH
sys/arch/xen/x86/hypervisor_machdep.c
411
KASSERT(sir <= SIR_XENIPL_HIGH);
sys/arch/xen/xen/evtchn.c
1027
KASSERT(sir >= SIR_XENIPL_VM && sir <= SIR_XENIPL_HIGH);
sys/arch/xen/xen/evtchn.c
843
KASSERT(sir >= SIR_XENIPL_VM && sir <= SIR_XENIPL_HIGH);
sys/arch/xen/xen/xenevt.c
213
atomic_or_64(&xenevt_ih->ih_cpu->ci_istate, (1ULL << SIR_XENIPL_HIGH));