INT_SOFT_MASK_BUG_ON
INT_SOFT_MASK_BUG_ON(regs, !(regs->msr & MSR_EE));
INT_SOFT_MASK_BUG_ON(regs, is_implicit_soft_masked(regs));
INT_SOFT_MASK_BUG_ON(regs, arch_irq_disabled_regs(regs) &&
INT_SOFT_MASK_BUG_ON(regs, !arch_irq_disabled_regs(regs) &&