Lines Matching refs:read_sysreg_s
1035 case SCTLR_EL1: *val = read_sysreg_s(SYS_SCTLR_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1036 case CPACR_EL1: *val = read_sysreg_s(SYS_CPACR_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1037 case TTBR0_EL1: *val = read_sysreg_s(SYS_TTBR0_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1038 case TTBR1_EL1: *val = read_sysreg_s(SYS_TTBR1_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1039 case TCR_EL1: *val = read_sysreg_s(SYS_TCR_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1040 case ESR_EL1: *val = read_sysreg_s(SYS_ESR_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1041 case AFSR0_EL1: *val = read_sysreg_s(SYS_AFSR0_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1042 case AFSR1_EL1: *val = read_sysreg_s(SYS_AFSR1_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1043 case FAR_EL1: *val = read_sysreg_s(SYS_FAR_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1044 case MAIR_EL1: *val = read_sysreg_s(SYS_MAIR_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1045 case VBAR_EL1: *val = read_sysreg_s(SYS_VBAR_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1046 case CONTEXTIDR_EL1: *val = read_sysreg_s(SYS_CONTEXTIDR_EL12);break; in __vcpu_read_sys_reg_from_cpu()
1047 case TPIDR_EL0: *val = read_sysreg_s(SYS_TPIDR_EL0); break; in __vcpu_read_sys_reg_from_cpu()
1048 case TPIDRRO_EL0: *val = read_sysreg_s(SYS_TPIDRRO_EL0); break; in __vcpu_read_sys_reg_from_cpu()
1049 case TPIDR_EL1: *val = read_sysreg_s(SYS_TPIDR_EL1); break; in __vcpu_read_sys_reg_from_cpu()
1050 case AMAIR_EL1: *val = read_sysreg_s(SYS_AMAIR_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1051 case CNTKCTL_EL1: *val = read_sysreg_s(SYS_CNTKCTL_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1052 case ELR_EL1: *val = read_sysreg_s(SYS_ELR_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1053 case SPSR_EL1: *val = read_sysreg_s(SYS_SPSR_EL12); break; in __vcpu_read_sys_reg_from_cpu()
1055 case DACR32_EL2: *val = read_sysreg_s(SYS_DACR32_EL2); break; in __vcpu_read_sys_reg_from_cpu()
1056 case IFSR32_EL2: *val = read_sysreg_s(SYS_IFSR32_EL2); break; in __vcpu_read_sys_reg_from_cpu()
1057 case DBGVCR32_EL2: *val = read_sysreg_s(SYS_DBGVCR32_EL2); break; in __vcpu_read_sys_reg_from_cpu()
1058 case ZCR_EL1: *val = read_sysreg_s(SYS_ZCR_EL12); break; in __vcpu_read_sys_reg_from_cpu()