mmBMON_ADDRL_S3_OFFSET
WREG32(base_reg + mmBMON_ADDRL_S3_OFFSET, lower_32_bits(input->start_addr3));
WREG32(base_reg + mmBMON_ADDRL_S3_OFFSET, 0);