memory_type_name  803 drivers/firmware/efi/efi.c static __initdata char memory_type_name[][20] = {
memory_type_name  829 drivers/firmware/efi/efi.c 	if (md->type >= ARRAY_SIZE(memory_type_name))
memory_type_name  833 drivers/firmware/efi/efi.c 				    (int)(sizeof(memory_type_name[0]) - 1),
memory_type_name  834 drivers/firmware/efi/efi.c 				    memory_type_name[md->type]);