Kernel messages infrastructure
[akaros.git] / kern / arch / i686 / trapentry.S
index 3e95efb..3693511 100644 (file)
@@ -171,7 +171,7 @@ IRQ_HANDLER(IRQ219, 251)
 IRQ_HANDLER(IRQ220, 252)
 IRQ_HANDLER(IRQ221, 253)
 IRQ_HANDLER(IRQ222, 254)
-IRQ_HANDLER_SPEC(IRQ223, I_ACTIVE_MSG, __active_message)
+IRQ_HANDLER_SPEC(IRQ223, I_KERNEL_MSG, __kernel_message)
 
 /* Technically, these HANDLER entries do not need to be in numeric order */
 TRAPHANDLER_NOEC(ISR_syscall, T_SYSCALL)