mmBMON_ADDRH_E1_OFFSET
WREG32(base_reg + mmBMON_ADDRH_E1_OFFSET, upper_32_bits(input->addr_mask1));
WREG32(base_reg + mmBMON_ADDRH_E1_OFFSET, 0);