Index: uspace/lib/libc/generic/io/console.c
===================================================================
--- uspace/lib/libc/generic/io/console.c	(revision 9b11daefe44950f259e896108d7b632e4718b174)
+++ uspace/lib/libc/generic/io/console.c	(revision ec8bab59255734063dbf86e43ca51eeeb9ff58e8)
@@ -45,7 +45,15 @@
 }
 
-int console_get_size(int phone, ipcarg_t *cols, ipcarg_t *rows)
+int console_get_size(int phone, int *cols, int *rows)
 {
-	return async_req_0_2(phone, CONSOLE_GET_SIZE, cols, rows);
+	ipcarg_t cols_v;
+	ipcarg_t rows_v;
+	int rc;
+
+	rc = async_req_0_2(phone, CONSOLE_GET_SIZE, &cols_v, &rows_v);
+
+	*cols = (int) cols_v;
+	*rows = (int) rows_v;
+	return rc;
 }
 
@@ -86,5 +94,5 @@
 }
 
-void console_goto(int phone, ipcarg_t col, ipcarg_t row)
+void console_goto(int phone, int col, int row)
 {
 	async_msg_2(phone, CONSOLE_GOTO, col, row);