kernel: implement `cpu_pause()` in assembly, remove `irq_interrupt_flag()`

1 files changed, 3 insertions, 0 deletions

diff --git a/src/kernel/arch/generic.h b/src/kernel/arch/generic.h
index fcc228e..01a3826 100644
--- a/src/kernel/arch/generic.h
+++ b/src/kernel/arch/generic.h
@@ -18,6 +18,9 @@ void halt_cpu(void);
 __attribute__((noreturn))
 void cpu_shutdown(void);
 
+/** on x86: waits for an IRQ */
+void cpu_pause(void);
+
 // src/arch/i386/sysenter.s
 _Noreturn void sysexit(struct registers);