case TTBR0_EL1:         *val = read_sysreg_s(SYS_TTBR0_EL12);   break;
        case TTBR1_EL1:         *val = read_sysreg_s(SYS_TTBR1_EL12);   break;
        case TCR_EL1:           *val = read_sysreg_s(SYS_TCR_EL12);     break;
+       case TCR2_EL1:          *val = read_sysreg_s(SYS_TCR2_EL12);    break;
+       case PIR_EL1:           *val = read_sysreg_s(SYS_PIR_EL12);     break;
+       case PIRE0_EL1:         *val = read_sysreg_s(SYS_PIRE0_EL12);   break;
        case ESR_EL1:           *val = read_sysreg_s(SYS_ESR_EL12);     break;
        case AFSR0_EL1:         *val = read_sysreg_s(SYS_AFSR0_EL12);   break;
        case AFSR1_EL1:         *val = read_sysreg_s(SYS_AFSR1_EL12);   break;
        case TTBR0_EL1:         write_sysreg_s(val, SYS_TTBR0_EL12);    break;
        case TTBR1_EL1:         write_sysreg_s(val, SYS_TTBR1_EL12);    break;
        case TCR_EL1:           write_sysreg_s(val, SYS_TCR_EL12);      break;
+       case TCR2_EL1:          write_sysreg_s(val, SYS_TCR2_EL12);     break;
+       case PIR_EL1:           write_sysreg_s(val, SYS_PIR_EL12);      break;
+       case PIRE0_EL1:         write_sysreg_s(val, SYS_PIRE0_EL12);    break;
        case ESR_EL1:           write_sysreg_s(val, SYS_ESR_EL12);      break;
        case AFSR0_EL1:         write_sysreg_s(val, SYS_AFSR0_EL12);    break;
        case AFSR1_EL1:         write_sysreg_s(val, SYS_AFSR1_EL12);    break;