Searched refs:efi_memory_type (Results 1 – 3 of 3) sorted by relevance
120 const char *efi_memory_type(EFI_MEMORY_TYPE);
405 efi_memory_type(EFI_MEMORY_TYPE type) in efi_memory_type() function461 printf("\t%23s pages: %u", efi_memory_type(ti[i].Type), in efi_print_mem_type()
1306 efi_memory_type(p->Type), (uintmax_t)p->PhysicalStart, in command_memmap()