IM_ERCV_INT
KDASSERT((mask & IM_ERCV_INT) == 0);
KDASSERT(!(bus_space_read_1(bst, bsh, INTR_MASK_REG_B) & IM_ERCV_INT));