482 	case CSSELR_EL1:	*val = read_sysreg_s(SYS_CSSELR_EL1);	break;  in __vcpu_read_sys_reg_from_cpu()
483 	case SCTLR_EL1:		*val = read_sysreg_s(SYS_SCTLR_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
484 	case CPACR_EL1:		*val = read_sysreg_s(SYS_CPACR_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
485 	case TTBR0_EL1:		*val = read_sysreg_s(SYS_TTBR0_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
486 	case TTBR1_EL1:		*val = read_sysreg_s(SYS_TTBR1_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
487 	case TCR_EL1:		*val = read_sysreg_s(SYS_TCR_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
488 	case ESR_EL1:		*val = read_sysreg_s(SYS_ESR_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
489 	case AFSR0_EL1:		*val = read_sysreg_s(SYS_AFSR0_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
490 	case AFSR1_EL1:		*val = read_sysreg_s(SYS_AFSR1_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
491 	case FAR_EL1:		*val = read_sysreg_s(SYS_FAR_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
492 	case MAIR_EL1:		*val = read_sysreg_s(SYS_MAIR_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
493 	case VBAR_EL1:		*val = read_sysreg_s(SYS_VBAR_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
494 	case CONTEXTIDR_EL1:	*val = read_sysreg_s(SYS_CONTEXTIDR_EL12);break;  in __vcpu_read_sys_reg_from_cpu()
495 	case TPIDR_EL0:		*val = read_sysreg_s(SYS_TPIDR_EL0);	break;  in __vcpu_read_sys_reg_from_cpu()
496 	case TPIDRRO_EL0:	*val = read_sysreg_s(SYS_TPIDRRO_EL0);	break;  in __vcpu_read_sys_reg_from_cpu()
497 	case TPIDR_EL1:		*val = read_sysreg_s(SYS_TPIDR_EL1);	break;  in __vcpu_read_sys_reg_from_cpu()
498 	case AMAIR_EL1:		*val = read_sysreg_s(SYS_AMAIR_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
499 	case CNTKCTL_EL1:	*val = read_sysreg_s(SYS_CNTKCTL_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
500 	case ELR_EL1:		*val = read_sysreg_s(SYS_ELR_EL12);	break;  in __vcpu_read_sys_reg_from_cpu()
502 	case DACR32_EL2:	*val = read_sysreg_s(SYS_DACR32_EL2);	break;  in __vcpu_read_sys_reg_from_cpu()
503 	case IFSR32_EL2:	*val = read_sysreg_s(SYS_IFSR32_EL2);	break;  in __vcpu_read_sys_reg_from_cpu()
504 	case DBGVCR32_EL2:	*val = read_sysreg_s(SYS_DBGVCR32_EL2);	break;  in __vcpu_read_sys_reg_from_cpu()