SYS_BRBFCR_EL1
brbfcr = read_sysreg_s(SYS_BRBFCR_EL1);
write_sysreg_s(brbfcr, SYS_BRBFCR_EL1);
write_sysreg_s(BRBFCR_EL1_PAUSED, SYS_BRBFCR_EL1);