utf16 928 arch/ia64/kernel/efi.c efi_char16_t *utf16, name_utf16[32]; utf16 935 arch/ia64/kernel/efi.c utf16 = name_utf16; utf16 938 arch/ia64/kernel/efi.c *utf16++ = *s++ & 0x7f; utf16 939 arch/ia64/kernel/efi.c *utf16 = 0;