Changeset 0b6931a in mainline for contrib/arch/kernel/kernel.adl

Timestamp:

2011-01-29T12:05:14Z (13 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

d7533c7

Parents:

46b881c (diff), 4f14e1f8 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

finish API and ABI changes

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_ipc_register_irq(inr_t inr, devno_t devno, sysarg_t method, irq_code_t *ucode);
+                sysarg_t sys_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_ipc_unregister_irq(inr_t inr, devno_t devno);
+                sysarg_t sys_unregister_irq(inr_t inr, devno_t devno);
         protocol:
                 (
@@ -213 +213 @@
                         ?sys_device_assign_devno +
                         ?sys_preempt_control +
-                        ?sys_ipc_register_irq +
-                        ?sys_ipc_unregister_irq
+                        ?sys_register_irq +
+                        ?sys_unregister_irq
                 )*
 };