|
@@ -84,6 +84,7 @@
|
|
|
|
|
|
|
|
#ifndef __ASSEMBLY__
|
|
#ifndef __ASSEMBLY__
|
|
|
|
|
|
|
|
|
|
+#ifdef CONFIG_CPU_CP15_MMU
|
|
|
static inline unsigned int get_domain(void)
|
|
static inline unsigned int get_domain(void)
|
|
|
{
|
|
{
|
|
|
unsigned int domain;
|
|
unsigned int domain;
|
|
@@ -103,6 +104,16 @@ static inline void set_domain(unsigned val)
|
|
|
: : "r" (val) : "memory");
|
|
: : "r" (val) : "memory");
|
|
|
isb();
|
|
isb();
|
|
|
}
|
|
}
|
|
|
|
|
+#else
|
|
|
|
|
+static inline unsigned int get_domain(void)
|
|
|
|
|
+{
|
|
|
|
|
+ return 0;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static inline void set_domain(unsigned val)
|
|
|
|
|
+{
|
|
|
|
|
+}
|
|
|
|
|
+#endif
|
|
|
|
|
|
|
|
#ifdef CONFIG_CPU_USE_DOMAINS
|
|
#ifdef CONFIG_CPU_USE_DOMAINS
|
|
|
#define modify_domain(dom,type) \
|
|
#define modify_domain(dom,type) \
|