Lines Matching refs:write_sysreg_s
1081 case SCTLR_EL1: write_sysreg_s(val, SYS_SCTLR_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1082 case CPACR_EL1: write_sysreg_s(val, SYS_CPACR_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1083 case TTBR0_EL1: write_sysreg_s(val, SYS_TTBR0_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1084 case TTBR1_EL1: write_sysreg_s(val, SYS_TTBR1_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1085 case TCR_EL1: write_sysreg_s(val, SYS_TCR_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1086 case ESR_EL1: write_sysreg_s(val, SYS_ESR_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1087 case AFSR0_EL1: write_sysreg_s(val, SYS_AFSR0_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1088 case AFSR1_EL1: write_sysreg_s(val, SYS_AFSR1_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1089 case FAR_EL1: write_sysreg_s(val, SYS_FAR_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1090 case MAIR_EL1: write_sysreg_s(val, SYS_MAIR_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1091 case VBAR_EL1: write_sysreg_s(val, SYS_VBAR_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1092 case CONTEXTIDR_EL1: write_sysreg_s(val, SYS_CONTEXTIDR_EL12);break; in __vcpu_write_sys_reg_to_cpu()
1093 case TPIDR_EL0: write_sysreg_s(val, SYS_TPIDR_EL0); break; in __vcpu_write_sys_reg_to_cpu()
1094 case TPIDRRO_EL0: write_sysreg_s(val, SYS_TPIDRRO_EL0); break; in __vcpu_write_sys_reg_to_cpu()
1095 case TPIDR_EL1: write_sysreg_s(val, SYS_TPIDR_EL1); break; in __vcpu_write_sys_reg_to_cpu()
1096 case AMAIR_EL1: write_sysreg_s(val, SYS_AMAIR_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1097 case CNTKCTL_EL1: write_sysreg_s(val, SYS_CNTKCTL_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1098 case ELR_EL1: write_sysreg_s(val, SYS_ELR_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1099 case SPSR_EL1: write_sysreg_s(val, SYS_SPSR_EL12); break; in __vcpu_write_sys_reg_to_cpu()
1100 case PAR_EL1: write_sysreg_s(val, SYS_PAR_EL1); break; in __vcpu_write_sys_reg_to_cpu()
1101 case DACR32_EL2: write_sysreg_s(val, SYS_DACR32_EL2); break; in __vcpu_write_sys_reg_to_cpu()
1102 case IFSR32_EL2: write_sysreg_s(val, SYS_IFSR32_EL2); break; in __vcpu_write_sys_reg_to_cpu()
1103 case DBGVCR32_EL2: write_sysreg_s(val, SYS_DBGVCR32_EL2); break; in __vcpu_write_sys_reg_to_cpu()
1104 case ZCR_EL1: write_sysreg_s(val, SYS_ZCR_EL12); break; in __vcpu_write_sys_reg_to_cpu()