@@ -280,4 +280,14 @@ static inline void wrtsc(u64 tsc)
asm volatile("wrmsr" : : "a"(a), "d"(d), "c"(0x10));
}
+static inline void irq_disable(void)
+{
+ asm volatile("cli");
+}
+
+static inline void irq_enable(void)
+{
+ asm volatile("sti");
+}
+
#endif
@@ -134,16 +134,6 @@ static void handle_irq(unsigned vec, void (*func)(isr_regs_t *regs))
#endif
}
-static void irq_disable(void)
-{
- asm volatile("cli");
-}
-
-static void irq_enable(void)
-{
- asm volatile("sti");
-}
-
static void eoi(void)
{
apic_write(APIC_EOI, 0);