Searched refs:efi_end (Results 1 – 1 of 1) sorted by relevance
202 addr64_t efi_start, efi_end; in kprint_memmap() local226 efi_end = efi_start + ((vm_offset_t)mptr->NumberOfPages << I386_PGSHIFT) - 1; in kprint_memmap()228 (efi_end >= region_start && efi_end <= region_end)) { in kprint_memmap()