mmBMON_ADDRH_S2_OFFSET
WREG32(base_reg + mmBMON_ADDRH_S2_OFFSET, upper_32_bits(input->start_addr2));
WREG32(base_reg + mmBMON_ADDRH_S2_OFFSET, 0);