/* Write to R/O system register.  */
msr trbidr_el1, x0