SIR_XENIPL_VM
#define XEN_IPL2SIR(ipl) ((ipl) + (SIR_XENIPL_VM - IPL_VM))
max = SIR_XENIPL_VM;
KASSERT(sir > SIR_XENIPL_VM);
KASSERT(sir >= SIR_XENIPL_VM && sir <= SIR_XENIPL_HIGH);
KASSERT(sir >= SIR_XENIPL_VM && sir <= SIR_XENIPL_HIGH);