Changes in kernel/arch/ia32/include/asm.h [2b4a9f26:d99c1d2] in mainline

File:

• kernel/arch/ia32/include/asm.h (modified) (2 diffs)

kernel/arch/ia32/include/asm.h

@@ -38 +38 @@
 
 #include <arch/pm.h>
-#include <arch/cpu.h>
 #include <typedefs.h>
 #include <config.h>
@@ -300 +299 @@
 }
 
-/** Check interrupts state.
- *
- * @return True if interrupts are disabled.
- *
- */
-static inline bool interrupts_disabled(void)
-{
-        ipl_t v;
-        
-        asm volatile (
-                "pushf\n"
-                "popl %[v]\n"
-                : [v] "=r" (v)
-        );
-        
-        return ((v & EFLAGS_IF) == 0);
-}
-
 /** Write to MSR */
 static inline void write_msr(uint32_t msr, uint64_t value)