Index: uspace/lib/libc/include/io/console.h
===================================================================
--- uspace/lib/libc/include/io/console.h	(revision 9b11daefe44950f259e896108d7b632e4718b174)
+++ uspace/lib/libc/include/io/console.h	(revision 1993f9a68ff3c23290d79db8b57db81b201848c4)
@@ -68,6 +68,6 @@
 extern void console_clear(int phone);
 
-extern int console_get_size(int phone, ipcarg_t *cols, ipcarg_t *rows);
-extern void console_goto(int phone, ipcarg_t col, ipcarg_t row);
+extern int console_get_size(int phone, int *cols, int *rows);
+extern void console_goto(int phone, int col, int row);
 
 extern void console_set_style(int phone, int style);