osfmk/i386/i386_vm_init.c

176 	EfiMemoryRange *mptr;
316 	mptr = (EfiMemoryRange *)ml_static_ptovirt((vm_offset_t)args->MemoryMap);
325 	for (i = 0; i < mcount; i++, mptr = (EfiMemoryRange *)(((vm_offset_t)mptr) + msize)) {
333 		base = (ppnum_t) (mptr->PhysicalStart >> I386_PGSHIFT);
334 		top = (ppnum_t) (((mptr->PhysicalStart) >> I386_PGSHIFT) + mptr->NumberOfPages - 1);
365 			mptr->Attribute |= EFI_MEMORY_KERN_RESERVED;
367 		region_bytes = (uint64_t)(mptr->NumberOfPages << I386_PGSHIFT);
368 		pmap_type = mptr->Type;
370 		switch (mptr->Type) {
432 		    i, mptr->Type, pmap_type, base, top,
433 		    (mptr->Attribute&EFI_MEMORY_KERN_RESERVED)? "RESERVED" :
434 		    (mptr->Attribute&EFI_MEMORY_RUNTIME)? "RUNTIME" : "");
445 		if ((mptr->Attribute & EFI_MEMORY_RUNTIME) == EFI_MEMORY_RUNTIME ||
465 			if (mptr->Attribute & EFI_MEMORY_KERN_RESERVED) {
486 				if ((mptr->Attribute & EFI_MEMORY_KERN_RESERVED) &&
500 				pmptr->attribute = mptr->Attribute;
513 				pmptr->attribute = mptr->Attribute;
523 				pmptr->attribute = mptr->Attribute;
526 				if (mptr->Attribute & EFI_MEMORY_KERN_RESERVED)
534 				pmptr->attribute = mptr->Attribute;
536 				if (mptr->Attribute & EFI_MEMORY_KERN_RESERVED)
580 	    mptr = (EfiMemoryRange *) ml_static_ptovirt((vm_offset_t)args->MemoryMap);
581             for (i=0; i<mcount; i++, mptr = (EfiMemoryRange *)(((vm_offset_t)mptr) + msize)) {
582                 if (mptr->Type != kEfiLoaderCode &&
583                     mptr->Type != kEfiLoaderData &&
584                     mptr->Type != kEfiBootServicesCode &&
585                     mptr->Type != kEfiBootServicesData &&
586                     mptr->Type != kEfiConventionalMemory) {
587                 efi_start = (addr64_t)mptr->PhysicalStart;
588                 efi_end = efi_start + ((vm_offset_t)mptr->NumberOfPages << I386_PGSHIFT) - 1;