CAUSE_INTERRUPT_P
KASSERT(CAUSE_INTERRUPT_P(cause));
if (CAUSE_INTERRUPT_P(cause))
KASSERT(!CAUSE_INTERRUPT_P(cause));