/* ETMv4 system registers  */

/* Write to write-only system register.  */
msr trclar, x0
msr trcoslar, x0