EL1_REG
READ_SPECIALREG(EL1_REG(CNTKCTL));
READ_SPECIALREG(EL1_REG(ELR)));
READ_SPECIALREG(EL1_REG(VBAR)));
READ_SPECIALREG(EL1_REG(AFSR0)));
READ_SPECIALREG(EL1_REG(AFSR1)));
READ_SPECIALREG(EL1_REG(AMAIR)));
READ_SPECIALREG(EL1_REG(CONTEXTIDR)));
READ_SPECIALREG(EL1_REG(CPACR)));
READ_SPECIALREG(EL1_REG(ESR)));
READ_SPECIALREG(EL1_REG(FAR)));
READ_SPECIALREG(EL1_REG(MAIR)));
READ_SPECIALREG(EL1_REG(SCTLR)));
READ_SPECIALREG(EL1_REG(SPSR)));
READ_SPECIALREG(EL1_REG(TCR)));
READ_SPECIALREG(EL1_REG(TTBR0)));
READ_SPECIALREG(EL1_REG(TTBR1)));
WRITE_SPECIALREG(EL1_REG(ELR),
WRITE_SPECIALREG(EL1_REG(VBAR),
WRITE_SPECIALREG(EL1_REG(AFSR0),
WRITE_SPECIALREG(EL1_REG(AFSR1),
WRITE_SPECIALREG(EL1_REG(AMAIR),
WRITE_SPECIALREG(EL1_REG(CONTEXTIDR),
WRITE_SPECIALREG(EL1_REG(CPACR),
WRITE_SPECIALREG(EL1_REG(ESR),
WRITE_SPECIALREG(EL1_REG(FAR),
WRITE_SPECIALREG(EL1_REG(MAIR),
WRITE_SPECIALREG(EL1_REG(SCTLR),
WRITE_SPECIALREG(EL1_REG(SPSR),
WRITE_SPECIALREG(EL1_REG(TCR),
WRITE_SPECIALREG(EL1_REG(TTBR0),
WRITE_SPECIALREG(EL1_REG(TTBR1),
WRITE_SPECIALREG(EL1_REG(CNTKCTL),