Changes in kernel/generic/src/ipc/irq.c [94d211e:eadaeae8] in mainline

File:

• kernel/generic/src/ipc/irq.c (modified) (3 diffs)

kernel/generic/src/ipc/irq.c

@@ -93 +93 @@
 #endif
                 ranges[i].base = km_map(pbase[i], ranges[i].size,
-                    PAGE_READ_WRITE | PAGE_KERNEL | PAGE_NOT_CACHEABLE);
+                    PAGE_READ | PAGE_WRITE | PAGE_KERNEL | PAGE_NOT_CACHEABLE);
                 if (!ranges[i].base) {
                         ranges_unmap(ranges, i);
@@ -314 +314 @@
  */
 errno_t ipc_irq_subscribe(answerbox_t *box, inr_t inr, sysarg_t imethod,
-    irq_code_t *ucode, cap_handle_t *uspace_handle)
+    irq_code_t *ucode, cap_irq_handle_t *uspace_handle)
 {
         if ((inr < 0) || (inr > last_inr))
@@ -390 +390 @@
  *
  */
-errno_t ipc_irq_unsubscribe(answerbox_t *box, int handle)
+errno_t ipc_irq_unsubscribe(answerbox_t *box, cap_irq_handle_t handle)
 {
         kobject_t *kobj = cap_unpublish(TASK, handle, KOBJECT_TYPE_IRQ);