// Invalid system registers for Armv8-R AArch64
.arch armv8-r

// No EL3 for Armv8-R
mrs x0, sctlr_el3
msr ttbr0_el3, x0
mrs x0, TCR_EL3

msr mpuir_el1, x0 // write to read-only register
msr mpuir_el2, x0 // write to read-only register

// Four sysregs are not in R-profile:
mrs x0, ttbr0_el2
msr ttbr0_el2, x0

mrs x0, ttbr1_el2
msr ttbr1_el2, x0

mrs x0, vsttbr_el2
msr vsttbr_el2, x0

mrs x0, vttbr_el2
msr vttbr_el2, x0