| 334 | */ |
| 335 | |
| 336 | void |
| 337 | vga_xputs(const char *s, int col, int row) |
| 338 | { |
| 339 | if (s != (char *) 0) { |
| 340 | vga_WriteStr((char *) s, strlen(s), col, row, g_attribute); |
| 341 | } |
| 342 | } |
| 343 | |
| 344 | /* write out character (and attribute) */ |
| 345 | void vga_xputc(char ch, int attr) |