mmBMON_ADDRH_S1_OFFSET
WREG32(base_reg + mmBMON_ADDRH_S1_OFFSET, upper_32_bits(input->start_addr1));
WREG32(base_reg + mmBMON_ADDRH_S1_OFFSET, 0);