Index: uspace/drv/intctl/icp-ic/icp-ic.c
===================================================================
--- uspace/drv/intctl/icp-ic/icp-ic.c	(revision c1694b6b243b360b5f1fbf0629b5e7d4f7f4a515)
+++ uspace/drv/intctl/icp-ic/icp-ic.c	(revision e211ea04fccf33d4cb2092f630a29e893e096a02)
@@ -52,5 +52,5 @@
 };
 
-static int icpic_enable_irq(icpic_t *icpic, sysarg_t irq)
+static errno_t icpic_enable_irq(icpic_t *icpic, sysarg_t irq)
 {
 	if (irq > icpic_max_irq)
@@ -112,9 +112,9 @@
 
 /** Add icp-ic device. */
-int icpic_add(icpic_t *icpic, icpic_res_t *res)
+errno_t icpic_add(icpic_t *icpic, icpic_res_t *res)
 {
 	ddf_fun_t *fun_a = NULL;
 	void *regs;
-	int rc;
+	errno_t rc;
 
 	rc = pio_enable((void *)res->base, sizeof(icpic_regs_t), &regs);
@@ -153,5 +153,5 @@
 
 /** Remove icp-ic device */
-int icpic_remove(icpic_t *icpic)
+errno_t icpic_remove(icpic_t *icpic)
 {
 	return ENOTSUP;
@@ -159,5 +159,5 @@
 
 /** icp-ic device gone */
-int icpic_gone(icpic_t *icpic)
+errno_t icpic_gone(icpic_t *icpic)
 {
 	return ENOTSUP;