1 files changed, 2 insertions, 0 deletions
diff --git a/src/kern/priv.c b/src/kern/priv.c
index 2c45eca..ba25c26 100644
--- a/src/kern/priv.c
+++ b/src/kern/priv.c
@@ -4,6 +4,7 @@
 #include "kern/log.h"
 #include "kern/mem.h"
 
+#ifdef ARCH_STM32L4
 void set_control_register(uint32_t reg)
 {
   asm volatile("msr control, %0" : "=r"(reg) :);
@@ -38,3 +39,4 @@ void jump_to_user_mode()
       "dsb\n\t"
       "b usermode_start\n\t" : : "r"(new_stack));
 }
+#endif