Searched refs:console_ch_t (Results 1 – 4 of 4) sorted by relevance
420 typedef unsigned long console_ch_t; typedef421 static inline void console_write_ch(console_ch_t *dest, uint32_t ch) in console_write_ch()431 typedef void (*vga_hw_text_update_ptr)(void *, console_ch_t *);442 void vga_hw_text_update(console_ch_t *chardata);
43 static console_ch_t screen[160 * 100];
230 void vga_hw_text_update(console_ch_t *chardata) in vga_hw_text_update()1251 static void text_console_update(void *opaque, console_ch_t *chardata) in text_console_update()
64 typedef void (*vga_hw_text_update_ptr)(void *, console_ch_t *);