ETM4x_REG_NUM_TO_SYSREG
read_sysreg_s(ETM4x_REG_NUM_TO_SYSREG((reg)))
write_sysreg_s(val, ETM4x_REG_NUM_TO_SYSREG((reg)))