Changes in contrib/arch/kernel/kernel.adl [8add9ca5:6b10dab] in mainline

File:

• contrib/arch/kernel/kernel.adl (modified) (2 diffs)

contrib/arch/kernel/kernel.adl

@@ -203 +203 @@
                 
                 /* Connect an IRQ handler to the current task */
-                sysarg_t sys_register_irq(inr_t inr, devno_t devno, sysarg_t method, irq_code_t *ucode);
+                sysarg_t sys_ipc_register_irq(inr_t inr, devno_t devno, sysarg_t method, irq_code_t *ucode);
                 
                 /* Disconnect an IRQ handler from the current task */
-                sysarg_t sys_unregister_irq(inr_t inr, devno_t devno);
+                sysarg_t sys_ipc_unregister_irq(inr_t inr, devno_t devno);
         protocol:
                 (
@@ -213 +213 @@
                         ?sys_device_assign_devno +
                         ?sys_preempt_control +
-                        ?sys_register_irq +
-                        ?sys_unregister_irq
+                        ?sys_ipc_register_irq +
+                        ?sys_ipc_unregister_irq
                 )*
 };