TTBR0_EL2,      /* Translation Table Base Register 0 (EL2) */
        TTBR1_EL2,      /* Translation Table Base Register 1 (EL2) */
        TCR_EL2,        /* Translation Control Register (EL2) */
+       PIRE0_EL2,      /* Permission Indirection Register 0 (EL2) */
+       PIR_EL2,        /* Permission Indirection Register 1 (EL2) */
        SPSR_EL2,       /* EL2 saved program status register */
        ELR_EL2,        /* EL2 exception link register */
        AFSR0_EL2,      /* Auxiliary Fault Status Register 0 (EL2) */
 
                MAPPED_EL2_SYSREG(FAR_EL2,     FAR_EL1,     NULL             );
                MAPPED_EL2_SYSREG(MAIR_EL2,    MAIR_EL1,    NULL             );
                MAPPED_EL2_SYSREG(TCR2_EL2,    TCR2_EL1,    NULL             );
+               MAPPED_EL2_SYSREG(PIR_EL2,     PIR_EL1,     NULL             );
+               MAPPED_EL2_SYSREG(PIRE0_EL2,   PIRE0_EL1,   NULL             );
                MAPPED_EL2_SYSREG(AMAIR_EL2,   AMAIR_EL1,   NULL             );
                MAPPED_EL2_SYSREG(ELR_EL2,     ELR_EL1,     NULL             );
                MAPPED_EL2_SYSREG(SPSR_EL2,    SPSR_EL1,    NULL             );