efi_char16_printk   66 drivers/firmware/efi/libstub/efi-stub-helper.c 			efi_char16_printk(sys_table_arg, nl);
efi_char16_printk   69 drivers/firmware/efi/libstub/efi-stub-helper.c 		efi_char16_printk(sys_table_arg, ch);
efi_char16_printk  364 drivers/firmware/efi/libstub/efi-stub-helper.c 		efi_char16_printk(sys_table_arg, filename_16);
efi_char16_printk   38 drivers/firmware/efi/libstub/efistub.h void efi_char16_printk(efi_system_table_t *, efi_char16_t *);