Changes in uspace/lib/c/generic/irq.c [a35b458:eadaeae8] in mainline

File:

• uspace/lib/c/generic/irq.c (modified) (2 diffs)

uspace/lib/c/generic/irq.c

@@ -64 +64 @@
  */
 errno_t ipc_irq_subscribe(int inr, sysarg_t method, const irq_code_t *ucode,
-    cap_handle_t *out_handle)
+    cap_irq_handle_t *out_handle)
 {
         if (ucode == NULL)
                 ucode = &default_ucode;
 
-        return (errno_t) __SYSCALL4(SYS_IPC_IRQ_SUBSCRIBE, inr, method, (sysarg_t) ucode,
-            (sysarg_t) out_handle);
+        return (errno_t) __SYSCALL4(SYS_IPC_IRQ_SUBSCRIBE, inr, method,
+            (sysarg_t) ucode, (sysarg_t) out_handle);
 }
 
@@ -80 +80 @@
  *
  */
-errno_t ipc_irq_unsubscribe(cap_handle_t cap)
+errno_t ipc_irq_unsubscribe(cap_irq_handle_t cap)
 {
-        return (errno_t) __SYSCALL1(SYS_IPC_IRQ_UNSUBSCRIBE, cap);
+        return (errno_t) __SYSCALL1(SYS_IPC_IRQ_UNSUBSCRIBE,
+            CAP_HANDLE_RAW(cap));
 }