efi_char16_printk   44 arch/x86/boot/compressed/eboot.c void efi_char16_printk(efi_system_table_t *table, efi_char16_t *str)
efi_char16_printk   40 drivers/firmware/efi/libstub/arm-stub.c void efi_char16_printk(efi_system_table_t *sys_table_arg,