Searched defs:efi_char16_printk (Results 1 – 2 of 2) sorted by relevance
139 void efi_char16_printk(efi_system_table_t *sys_table_arg, in efi_char16_printk() function
261 void efi_char16_printk(efi_system_table_t *table, efi_char16_t *str) in efi_char16_printk() function