/* Write to r/o SME system registers.  */
msr id_aa64smfr0_el1, x0
msr smidr_el1, x0