37,10 → 37,41 |
#include <ipc/console.h> |
#include <console.h> |
|
void console_clear(void) |
{ |
int cons_phone = get_cons_phone(); |
async_msg_0(cons_phone, CONSOLE_CLEAR); |
} |
|
void console_goto(int row, int col) |
{ |
int cons_phone = get_cons_phone(); |
async_msg_2(cons_phone, CONSOLE_GOTO, row, col); |
} |
|
void console_flush(void) |
{ |
int cons_phone = get_cons_phone(); |
async_msg_0(cons_phone, CONSOLE_FLUSH); |
} |
|
int console_get_size(int *rows, int *cols) |
{ |
int cons_phone = get_cons_phone(); |
ipcarg_t r, c; |
int rc; |
|
rc = async_req_0_2(cons_phone, CONSOLE_GETSIZE, &r, &c); |
|
*rows = (int) r; |
*cols = (int) c; |
|
return rc; |
} |
|
void console_set_style(int style) |
{ |
int cons_phone = get_cons_phone(); |
|
async_msg_1(cons_phone, CONSOLE_SET_STYLE, style); |
} |
|
47,7 → 78,6 |
void console_set_color(int fg_color, int bg_color, int flags) |
{ |
int cons_phone = get_cons_phone(); |
|
async_msg_3(cons_phone, CONSOLE_SET_COLOR, fg_color, bg_color, flags); |
} |
|
54,9 → 84,14 |
void console_set_rgb_color(int fg_color, int bg_color) |
{ |
int cons_phone = get_cons_phone(); |
|
async_msg_2(cons_phone, CONSOLE_SET_RGB_COLOR, fg_color, bg_color); |
} |
|
void console_cursor_visibility(int show) |
{ |
int cons_phone = get_cons_phone(); |
async_msg_1(cons_phone, CONSOLE_CURSOR_VISIBILITY, show != 0); |
} |
|
/** @} |
*/ |