|
@@ -119,6 +119,13 @@ extern unsigned int user_debug;
|
|
|
#define vectors_high() (0)
|
|
|
#endif
|
|
|
|
|
|
+#if __LINUX_ARM_ARCH__ >= 7 || \
|
|
|
+ (__LINUX_ARM_ARCH__ == 6 && defined(CONFIG_CPU_32v6K))
|
|
|
+#define sev() __asm__ __volatile__ ("sev" : : : "memory")
|
|
|
+#define wfe() __asm__ __volatile__ ("wfe" : : : "memory")
|
|
|
+#define wfi() __asm__ __volatile__ ("wfi" : : : "memory")
|
|
|
+#endif
|
|
|
+
|
|
|
#if __LINUX_ARM_ARCH__ >= 7
|
|
|
#define isb() __asm__ __volatile__ ("isb" : : : "memory")
|
|
|
#define dsb() __asm__ __volatile__ ("dsb" : : : "memory")
|