etm4x_sysreg_read
.read = etm4x_sysreg_read,
u64 etm4x_sysreg_read(u32 offset, bool _relaxed, bool _64bit);
__val = etm4x_sysreg_read((offset), true, (_64bit)); \