Rev 4264 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4264 | Rev 4293 | ||
|---|---|---|---|
| Line 236... | Line 236... | ||
| 236 | 236 | ||
| 237 | cbuffer_flush(); |
237 | cbuffer_flush(); |
| 238 | async_msg_0(cons_phone, CONSOLE_FLUSH); |
238 | async_msg_0(cons_phone, CONSOLE_FLUSH); |
| 239 | } |
239 | } |
| 240 | 240 | ||
| - | 241 | void console_flush_optional(void) |
|
| - | 242 | { |
|
| - | 243 | if (console_phone >= 0) |
|
| - | 244 | console_flush(); |
|
| - | 245 | } |
|
| - | 246 | ||
| 241 | int console_get_size(int *rows, int *cols) |
247 | int console_get_size(int *rows, int *cols) |
| 242 | { |
248 | { |
| 243 | int cons_phone = console_phone_get(true); |
249 | int cons_phone = console_phone_get(true); |
| 244 | ipcarg_t r, c; |
250 | ipcarg_t r, c; |
| 245 | int rc; |
251 | int rc; |