Rev 4264 | Rev 4317 | Go to most recent revision | Show entire file | Regard 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; |