etm4x_sysreg_write
.write = etm4x_sysreg_write,
void etm4x_sysreg_write(u64 val, u32 offset, bool _relaxed, bool _64bit);
etm4x_sysreg_write((val), (offset), true, \