mmBMON_ADDRH_E0_OFFSET
WREG32(base_reg + mmBMON_ADDRH_E0_OFFSET, upper_32_bits(input->addr_mask0));
WREG32(base_reg + mmBMON_ADDRH_E0_OFFSET, 0);