Changeset c4fb95d3 in mainline for contrib/arch/kernel/kernel.adl

Timestamp:

2011-02-18T20:04:56Z (14 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

d011038

Parents:

87e373b (diff), 8b1ea2d4 (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:

Merge mainline 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
                 )*
 };