Index: kernel/arch/ia32/include/arch/asm.h
===================================================================
--- kernel/arch/ia32/include/arch/asm.h	(revision 65f3117b0c526538a5c5e972042a0bf4f1a325e1)
+++ kernel/arch/ia32/include/arch/asm.h	(revision e1f5fb191dfe5766d747cfd1c7466d29ff2d3e95)
@@ -57,8 +57,14 @@
 }
 
-_NO_TRACE static inline void cpu_sleep(void)
-{
-	asm volatile (
+/** Enables interrupts and blocks until an interrupt arrives,
+ * atomically if possible on target architecture.
+ * Disables interrupts again before returning to caller.
+ */
+_NO_TRACE static inline void cpu_interruptible_sleep(void)
+{
+	asm volatile (
+	    "sti\n"
 	    "hlt\n"
+	    "cli\n"
 	);
 }