Index: uspace/drv/platform/icp/icp.c
===================================================================
--- uspace/drv/platform/icp/icp.c	(revision cecba66ea48d60cfa59865e98aeda663808e42c7)
+++ uspace/drv/platform/icp/icp.c	(revision 50206e9574b78ae79eedeb03577fe6a9f9bb4d09)
@@ -62,5 +62,5 @@
 } icp_fun_t;
 
-static int icp_dev_add(ddf_dev_t *dev);
+static errno_t icp_dev_add(ddf_dev_t *dev);
 
 static driver_ops_t icp_ops = {
@@ -178,5 +178,5 @@
 }
 
-static int icp_fun_enable_interrupt(ddf_fun_t *fnode, int irq)
+static errno_t icp_fun_enable_interrupt(ddf_fun_t *fnode, int irq)
 {
 	icp_fun_t *fun = icp_fun(fnode);
@@ -188,5 +188,5 @@
 }
 
-static int icp_fun_disable_interrupt(ddf_fun_t *fnode, int irq)
+static errno_t icp_fun_disable_interrupt(ddf_fun_t *fnode, int irq)
 {
 	icp_fun_t *fun = icp_fun(fnode);
@@ -198,5 +198,5 @@
 }
 
-static int icp_fun_clear_interrupt(ddf_fun_t *fnode, int irq)
+static errno_t icp_fun_clear_interrupt(ddf_fun_t *fnode, int irq)
 {
 	icp_fun_t *fun = icp_fun(fnode);
@@ -231,5 +231,5 @@
 };
 
-static int icp_add_fun(ddf_dev_t *dev, const char *name, const char *str_match_id,
+static errno_t icp_add_fun(ddf_dev_t *dev, const char *name, const char *str_match_id,
     icp_fun_t *fun_proto)
 {
@@ -237,5 +237,5 @@
 
 	ddf_fun_t *fnode = NULL;
-	int rc;
+	errno_t rc;
 
 	/* Create new device. */
@@ -275,7 +275,7 @@
 }
 
-static int icp_add_functions(ddf_dev_t *dev)
-{
-	int rc;
+static errno_t icp_add_functions(ddf_dev_t *dev)
+{
+	errno_t rc;
 
 	rc = icp_add_fun(dev, "intctl", "integratorcp/intctl",
@@ -296,5 +296,5 @@
 
 /** Add device. */
-static int icp_dev_add(ddf_dev_t *dev)
+static errno_t icp_dev_add(ddf_dev_t *dev)
 {
 	ddf_msg(LVL_NOTE, "icp_dev_add, device handle = %d",
@@ -311,5 +311,5 @@
 int main(int argc, char *argv[])
 {
-	int rc;
+	errno_t rc;
 
 	printf(NAME ": HelenOS IntegratorCP platform driver\n");