| 64,6 → 64,9 |
|---|
| int active_console = 0; |
| int prev_console = 0; |
| |
| /** Phone to the keyboard driver. */ |
| static int kbd_phone; |
| |
| /** Information about framebuffer */ |
| struct { |
| int phone; /**< Framebuffer phone */ |
| 151,6 → 154,16 |
|---|
| ipc_call_sync_0_0(fb_info.phone, FB_SCREEN_RECLAIM); |
| } |
| |
| static void kbd_yield(void) |
| { |
| ipc_call_sync_0_0(kbd_phone, KBD_YIELD); |
| } |
| |
| static void kbd_reclaim(void) |
| { |
| ipc_call_sync_0_0(kbd_phone, KBD_RECLAIM); |
| } |
| |
| static void set_style(int style) |
| { |
| async_msg_1(fb_info.phone, FB_SET_STYLE, style); |
| 341,6 → 354,7 |
|---|
| curs_hide_sync(); |
| gcons_in_kernel(); |
| screen_yield(); |
| kbd_yield(); |
| async_serialize_end(); |
| |
| |
| 356,6 → 370,7 |
|---|
| |
| if (active_console == KERNEL_CONSOLE) { |
| screen_reclaim(); |
| kbd_reclaim(); |
| gcons_redraw_console(); |
| } |
| |
| 665,7 → 680,6 |
|---|
| printf(NAME ": HelenOS Console service\n"); |
| |
| ipcarg_t phonehash; |
| int kbd_phone; |
| size_t ib_size; |
| int i; |
| |