Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision b30846eada6adb6189b8e88babbad2ee3238fa26)
+++ kernel/generic/src/ipc/sysipc.c	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
@@ -48,5 +48,5 @@
 #include <arch/interrupt.h>
 #include <syscall/copy.h>
-#include <security/cap.h>
+#include <security/perm.h>
 #include <console/console.h>
 #include <print.h>
@@ -811,5 +811,5 @@
     irq_code_t *ucode)
 {
-	if (!(cap_get(TASK) & CAP_IRQ_REG))
+	if (!(perm_get(TASK) & PERM_IRQ_REG))
 		return EPERM;
 	
@@ -827,5 +827,5 @@
 sysarg_t sys_ipc_irq_unsubscribe(inr_t inr, devno_t devno)
 {
-	if (!(cap_get(TASK) & CAP_IRQ_REG))
+	if (!(perm_get(TASK) & PERM_IRQ_REG))
 		return EPERM;