Index: uspace/drv/platform/sun4v/sun4v.c
===================================================================
--- uspace/drv/platform/sun4v/sun4v.c	(revision 1569a9b70f7219a7103788305e4baf473da24376)
+++ uspace/drv/platform/sun4v/sun4v.c	(revision e211ea04fccf33d4cb2092f630a29e893e096a02)
@@ -55,5 +55,5 @@
 } sun4v_fun_t;
 
-static int sun4v_dev_add(ddf_dev_t *dev);
+static errno_t sun4v_dev_add(ddf_dev_t *dev);
 
 static driver_ops_t sun4v_ops = {
@@ -114,5 +114,5 @@
 }
 
-static int sun4v_enable_interrupt(ddf_fun_t *fun, int irq)
+static errno_t sun4v_enable_interrupt(ddf_fun_t *fun, int irq)
 {
 	return EOK;
@@ -138,5 +138,5 @@
 static ddf_dev_ops_t sun4v_fun_ops;
 
-static int sun4v_add_fun(ddf_dev_t *dev, const char *name,
+static errno_t sun4v_add_fun(ddf_dev_t *dev, const char *name,
     const char *str_match_id, sun4v_fun_t *fun_proto)
 {
@@ -144,5 +144,5 @@
 
 	ddf_fun_t *fnode = NULL;
-	int rc;
+	errno_t rc;
 
 	/* Create new device. */
@@ -188,7 +188,7 @@
 }
 
-static int sun4v_add_functions(ddf_dev_t *dev)
-{
-	int rc;
+static errno_t sun4v_add_functions(ddf_dev_t *dev)
+{
+	errno_t rc;
 
 	rc = sun4v_add_fun(dev, "console", "sun4v/console", &console_data);
@@ -200,5 +200,5 @@
 
 /** Add device. */
-static int sun4v_dev_add(ddf_dev_t *dev)
+static errno_t sun4v_dev_add(ddf_dev_t *dev)
 {
 	ddf_msg(LVL_DEBUG, "sun4v_dev_add, device handle = %d",
@@ -213,7 +213,7 @@
 }
 
-static int sun4v_init(void)
-{
-	int rc;
+static errno_t sun4v_init(void)
+{
+	errno_t rc;
 	sysarg_t paddr;
 
@@ -247,5 +247,5 @@
 int main(int argc, char *argv[])
 {
-	int rc;
+	errno_t rc;
 
 	printf(NAME ": Sun4v platform driver\n");