ETM4x_OFFSET_TO_REG
READ_ETM4x_REG(ETM4x_OFFSET_TO_REG(offset))
WRITE_ETM4x_REG(val, ETM4x_OFFSET_TO_REG(offset))