Searched refs:efi_write_char (Results 1 – 3 of 3) sorted by relevance
50 extern void efi_write_char(uint8_t, uint8_t);
195 void efi_write_char(uint8_t ch, uint8_t attribute) in efi_write_char() function226 efi_write_char('\n', 0); in efi_scroll_up()227 efi_write_char('\r', 0); in efi_scroll_up()274 .write_char = efi_write_char,
37 efi_write_char(data, 0); in writechr()