osfmk/i386/i386_vm_init.c

181 	EfiMemoryRange *mptr;
329 	mptr = (EfiMemoryRange *)ml_static_ptovirt((vm_offset_t)args->MemoryMap);
338 	for (i = 0; i < mcount; i++, mptr = (EfiMemoryRange *)(((vm_offset_t)mptr) + msize)) {
346 		base = (ppnum_t) (mptr->PhysicalStart >> I386_PGSHIFT);
347 		top = (ppnum_t) (((mptr->PhysicalStart) >> I386_PGSHIFT) + mptr->NumberOfPages - 1);
352 			mptr->Attribute |= EFI_MEMORY_KERN_RESERVED;
354 		region_bytes = (uint64_t)(mptr->NumberOfPages << I386_PGSHIFT);
355 		pmap_type = mptr->Type;
357 		switch (mptr->Type) {
419 		    i, mptr->Type, pmap_type, base, top,
420 		    (mptr->Attribute&EFI_MEMORY_KERN_RESERVED)? "RESERVED" :
421 		    (mptr->Attribute&EFI_MEMORY_RUNTIME)? "RUNTIME" : "");
432 		if ((mptr->Attribute & EFI_MEMORY_RUNTIME) == EFI_MEMORY_RUNTIME ||
452 			if (mptr->Attribute & EFI_MEMORY_KERN_RESERVED) {
473 				if ((mptr->Attribute & EFI_MEMORY_KERN_RESERVED) &&
485 				pmptr->attribute = mptr->Attribute;
496 				pmptr->attribute = mptr->Attribute;
506 				pmptr->attribute = mptr->Attribute;
509 				if (mptr->Attribute & EFI_MEMORY_KERN_RESERVED)
517 				pmptr->attribute = mptr->Attribute;
519 				if (mptr->Attribute & EFI_MEMORY_KERN_RESERVED)
562 	    mptr = (EfiMemoryRange *) ml_static_ptovirt((vm_offset_t)args->MemoryMap);
563             for (i=0; i<mcount; i++, mptr = (EfiMemoryRange *)(((vm_offset_t)mptr) + msize)) {
564                 if (mptr->Type != kEfiLoaderCode &&
565                     mptr->Type != kEfiLoaderData &&
566                     mptr->Type != kEfiBootServicesCode &&
567                     mptr->Type != kEfiBootServicesData &&
568                     mptr->Type != kEfiConventionalMemory) {
569                 efi_start = (addr64_t)mptr->PhysicalStart;
570                 efi_end = efi_start + ((vm_offset_t)mptr->NumberOfPages << I386_PGSHIFT) - 1;