Index: uspace/app/sysinst/sysinst.c
===================================================================
--- uspace/app/sysinst/sysinst.c	(revision cde999aca79219e8751af76502001a86d411d176)
+++ uspace/app/sysinst/sysinst.c	(revision bd768718dfae4f0bf4db7bf22af81211b1851ee1)
@@ -85,5 +85,5 @@
  * @return EOK on success or an error code
  */
-static int sysinst_label_dev(const char *dev, char **pdev)
+static errno_t sysinst_label_dev(const char *dev, char **pdev)
 {
 	fdisk_t *fdisk;
@@ -93,5 +93,5 @@
 	cap_spec_t cap;
 	service_id_t sid;
-	int rc;
+	errno_t rc;
 
 	printf("sysinst_label_dev(): get service ID '%s'\n", dev);
@@ -154,9 +154,9 @@
  * @return EOK on success or an error code
  */
-static int sysinst_fs_mount(const char *dev)
+static errno_t sysinst_fs_mount(const char *dev)
 {
 	task_wait_t twait;
 	task_exit_t texit;
-	int rc;
+	errno_t rc;
 	int trc;
 
@@ -193,9 +193,9 @@
  * @return EOK on success or an error code
  */
-static int sysinst_copy_boot_files(void)
+static errno_t sysinst_copy_boot_files(void)
 {
 	task_wait_t twait;
 	task_exit_t texit;
-	int rc;
+	errno_t rc;
 	int trc;
 
@@ -260,5 +260,5 @@
  * @return EOK on success or an error code
  */
-static int sysinst_copy_boot_blocks(const char *devp)
+static errno_t sysinst_copy_boot_blocks(const char *devp)
 {
 	void *boot_img;
@@ -272,5 +272,5 @@
 	aoff64_t core_blocks;
 	grub_boot_blocklist_t *first_bl, *bl;
-	int rc;
+	errno_t rc;
 
 	printf("sysinst_copy_boot_blocks: Read boot block image.\n");
@@ -355,7 +355,7 @@
  * @return EOK on success or an error code
  */
-static int sysinst_install(const char *dev)
-{
-	int rc;
+static errno_t sysinst_install(const char *dev)
+{
+	errno_t rc;
 	char *pdev;