GCC_ASM_EXPORT (ArmWriteMVBar)\r
GCC_ASM_EXPORT (ArmCallWFE)\r
GCC_ASM_EXPORT (ArmCallSEV)\r
-GCC_ASM_EXPORT (ArmReadCpuExCr)\r
-GCC_ASM_EXPORT (ArmWriteCpuExCr)\r
GCC_ASM_EXPORT (ArmReadCpuActlr)\r
GCC_ASM_EXPORT (ArmWriteCpuActlr)\r
\r
sev\r
ret\r
\r
-ASM_PFX(ArmReadCpuExCr):\r
- mrs x0, S3_1_c15_c2_1\r
- ret\r
-\r
-ASM_PFX(ArmWriteCpuExCr):\r
- msr S3_1_c15_c2_1, x0\r
- dsb sy\r
- isb\r
- ret\r
-\r
ASM_PFX(ArmReadCpuActlr):\r
mrs x0, S3_1_c15_c2_0\r
ret\r