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