Searched refs:bios_video_write_char (Results 1 – 2 of 2) sorted by relevance
32 bios_video_write_char('!'); in main()140 bios_video_write_char(char c) in bios_video_write_char() function160 bios_video_write_char(*s++); in bios_video_write_string()169 bios_video_write_char(*s++); in bios_video_write_string_at_pos()
10 extern void bios_video_write_char(char c);