Index: kernel/generic/src/cap/cap.c
===================================================================
--- kernel/generic/src/cap/cap.c	(revision cde999aca79219e8751af76502001a86d411d176)
+++ kernel/generic/src/cap/cap.c	(revision b7fd2a02e4161f4edd38548e7f8456b8021549be)
@@ -124,5 +124,5 @@
  * @param task  Task for which to allocate the info structure.
  */
-int caps_task_alloc(task_t *task)
+errno_t caps_task_alloc(task_t *task)
 {
 	task->cap_info = (cap_info_t *) malloc(sizeof(cap_info_t),
@@ -261,5 +261,5 @@
  * @return An error code in case of error.
  */
-int cap_alloc(task_t *task, cap_handle_t *handle)
+errno_t cap_alloc(task_t *task, cap_handle_t *handle)
 {
 	cap_t *cap = NULL;