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;