Searched refs:efi_char16_printk (Results 1 – 3 of 3) sorted by relevance
20 void efi_char16_printk(efi_system_table_t *, efi_char16_t *);
121 efi_char16_printk(sys_table_arg, filename_16); in efi_file_size()161 void efi_char16_printk(efi_system_table_t *sys_table_arg, in efi_char16_printk() function
68 efi_char16_printk(sys_table_arg, nl); in efi_printk()71 efi_char16_printk(sys_table_arg, ch); in efi_printk()