.*: Assembler messages:
.*: Warning: specified register cannot be written to at operand 1 -- `msr csridr_el0,x0'
.*: Warning: specified register cannot be written to at operand 1 -- `msr csrptridx_el0,x0'
.*: Warning: specified register cannot be written to at operand 1 -- `msr csrptridx_el1,x0'
.*: Warning: specified register cannot be written to at operand 1 -- `msr csrptridx_el2,x0'
