Searched refs:efi_char16_printk (Results 1 – 3 of 3) sorted by relevance
98 efi_char16_printk(sys_table_arg, filename_16); in efi_file_size()138 void efi_char16_printk(efi_system_table_t *sys_table_arg, in efi_char16_printk() function
8 void efi_char16_printk(efi_system_table_t *, efi_char16_t *);
59 efi_char16_printk(sys_table_arg, nl); in efi_printk()62 efi_char16_printk(sys_table_arg, ch); in efi_printk()