diff --git a/kernel/fiasco/src/drivers/arm/processor-arm.cpp b/kernel/fiasco/src/drivers/arm/processor-arm.cpp
index 5ed83314..3f28e68a 100644
--- a/kernel/fiasco/src/drivers/arm/processor-arm.cpp
+++ b/kernel/fiasco/src/drivers/arm/processor-arm.cpp
@@ -23,7 +23,7 @@ public:
   static Cpu_phys_id cpu_id();
 };
 
-INTERFACE[arm && !arm_em_tz]:
+INTERFACE[arm && !arm_em_tz && !arm_em_ns]:
 
 EXTENSION class Proc
 {
@@ -53,6 +53,21 @@ public:
     };
 };
 
+INTERFACE[arm && arm_em_ns]:
+
+EXTENSION class Proc
+{
+public:
+  enum : unsigned
+    {
+      Cli_mask                = Status_IRQ_disabled,
+      Sti_mask                = Status_IRQ_disabled,
+      Status_preempt_disabled = Status_IRQ_disabled,
+      Status_interrupts_mask  = Status_IRQ_disabled,
+      Status_always_mask      = Status_FIQ_disabled,
+    };
+};
+
 IMPLEMENTATION[arm]:
 
 #include "types.h"