Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision b30846eada6adb6189b8e88babbad2ee3238fa26)
+++ kernel/generic/src/ipc/sysipc.c	(revision 78188e5873f47aad1ea0bb8b9e68b6f694b89dc4)
@@ -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;