Searched refs:efi_start (Results 1 – 1 of 1) sorted by relevance
202 addr64_t efi_start, efi_end; in kprint_memmap() local225 efi_start = (addr64_t)mptr->PhysicalStart; in kprint_memmap()226 efi_end = efi_start + ((vm_offset_t)mptr->NumberOfPages << I386_PGSHIFT) - 1; in kprint_memmap()227 if ((efi_start >= region_start && efi_start <= region_end) || in kprint_memmap()