Symbol: efi_char16_puts
drivers/firmware/efi/libstub/efistub.h
1082
void efi_char16_puts(efi_char16_t *);
drivers/firmware/efi/libstub/printk.c
99
efi_char16_puts(buf);