Index: uspace/srv/hw/char/s3c24xx_uart/s3c24xx_uart.c
===================================================================
--- uspace/srv/hw/char/s3c24xx_uart/s3c24xx_uart.c	(revision 50ad3f329286f24e8408052e2f1d3f2c5542be70)
+++ uspace/srv/hw/char/s3c24xx_uart/s3c24xx_uart.c	(revision 1b054a6f16267578b36d1298aff69331a80fa543)
@@ -77,13 +77,11 @@
 int main(int argc, char *argv[])
 {
-	int rc;
-
-	printf(NAME ": S3C24xx on-chip UART driver\n");
-
+	printf("%s: S3C24xx on-chip UART driver\n", NAME);
+	
 	async_set_client_connection(s3c24xx_uart_connection);
-	rc = loc_server_register(NAME);
-	if (rc < 0) {
-		printf(NAME ": Unable to register server.\n");
-		return -1;
+	int rc = loc_server_register(NAME);
+	if (rc != EOK) {
+		printf("%s: Unable to register server.\n", NAME);
+		return rc;
 	}