Index: generic/include/security/cap.h
===================================================================
--- generic/include/security/cap.h	(revision 738ad2ee5caf06cfdb3fc173c15ee2efe64f1de8)
+++ generic/include/security/cap.h	(revision cfffb000c1b414a3b483fb3d1b0ef9d245d2fa89)
@@ -42,4 +42,5 @@
 #define __CAP_H__
 
+#include <syscall/sysarg64.h>
 #include <arch/types.h>
 #include <typedefs.h>
@@ -64,7 +65,12 @@
 
 /**
- * CAP_PREEMPT_CONTROL allows its holder to disable interrupts
+ * CAP_PREEMPT_CONTROL allows its holder to disable/enable preemption.
  */
-#define CAP_PREEMPT_CONTROL         (1<<3)
+#define CAP_PREEMPT_CONTROL	(1<<3)
+
+/**
+ * CAP_IRQ_REG entitles its holder to register IRQ handlers.
+ */
+#define CAP_IRQ_REG		(1<<4) 
 
 typedef __u32 cap_t;
@@ -73,3 +79,6 @@
 extern cap_t cap_get(task_t *t);
 
+extern __native sys_cap_grant(sysarg64_t *uspace_taskid_arg, cap_t caps);
+extern __native sys_cap_revoke(sysarg64_t *uspace_taskid_arg, cap_t caps);
+
 #endif
