Changes in contrib/arch/uspace/srv/console/console.adl [96b02eb9:afe34be] in mainline

File:

• contrib/arch/uspace/srv/console/console.adl (modified) (1 diff)

contrib/arch/uspace/srv/console/console.adl

@@ -1 +1 @@
 interface console extends service {
                 /* Read characters from console */
-                sysarg_t read(out_copy stream data);
+                ipcarg_t read(out_copy stream data);
                 
                 /* Write characters to console */
-                sysarg_t write(in_copy stream data);
+                ipcarg_t write(in_copy stream data);
                 
                 /* Get last event from event queue */
-                sysarg_t get_event(out sysarg_t type, out sysarg_t key, out sysarg_t mods, out sysarg_t char);
+                ipcarg_t get_event(out ipcarg_t type, out ipcarg_t key, out ipcarg_t mods, out ipcarg_t char);
                 
                 /* Flush output buffer */
-                sysarg_t sync(void);
+                ipcarg_t sync(void);
                 
                 /* Clear console */
-                sysarg_t clear(void);
+                ipcarg_t clear(void);
                 
                 /* Move cursor to given position */
-                sysarg_t goto(in sysarg_t col, in sysarg_t row);
+                ipcarg_t goto(in ipcarg_t col, in ipcarg_t row);
                 
                 /* Get console dimensions (in character cells) */
-                sysarg_t get_size(out sysarg_t cols, in sysarg_t rows);
+                ipcarg_t get_size(out ipcarg_t cols, in ipcarg_t rows);
                 
                 /* Get color capabilities */
-                sysarg_t get_color_cap(void);
+                ipcarg_t get_color_cap(void);
                 
                 /* Set abstract text style */
-                sysarg_t set_style(in sysarg_t style);
+                ipcarg_t set_style(in ipcarg_t style);
                 
                 /* Set EGA-based text color */
-                sysarg_t set_color(in sysarg_t fb_color, in sysarg_t bg_color, in sysarg_t attr);
+                ipcarg_t set_color(in ipcarg_t fb_color, in ipcarg_t bg_color, in ipcarg_t attr);
                 
                 /* Set RGB-based text color */
-                sysarg_t set_rgb_color(in sysarg_t fb_color, in sysarg_t bg_color);
+                ipcarg_t set_rgb_color(in ipcarg_t fb_color, in ipcarg_t bg_color);
                 
                 /* Set cursor visibility */
-                sysarg_t cursor_visibility(in sysarg_t visible);
+                ipcarg_t cursor_visibility(in ipcarg_t visible);
                 
                 /* Switch to kernel debugging console (if available) */
-                sysarg_t kcon_enable(void);
+                ipcarg_t kcon_enable(void);
         protocol:
                 [console.bp]