Searched refs:efi_char16_printk (Results 1 – 4 of 4) sorted by relevance
38 void efi_char16_printk(efi_system_table_t *, efi_char16_t *);
66 efi_char16_printk(sys_table_arg, nl); in efi_printk()69 efi_char16_printk(sys_table_arg, ch); in efi_printk()364 efi_char16_printk(sys_table_arg, filename_16); in efi_file_size()
40 void efi_char16_printk(efi_system_table_t *sys_table_arg, in efi_char16_printk() function
44 void efi_char16_printk(efi_system_table_t *table, efi_char16_t *str) in efi_char16_printk() function
