i386/AT386/model_dep.c

504 	EfiMemoryRange *mptr;
522 	mptr = (EfiMemoryRange *)ml_static_ptovirt(args->MemoryMap);
523 	for (i=0; i < mcount; i++, mptr = (EfiMemoryRange *)(((vm_offset_t)mptr) + msize)) {
524 	    if (((mptr->Attribute & EFI_MEMORY_RUNTIME) == EFI_MEMORY_RUNTIME) ) {
525 		vm_size = (vm_offset_t)i386_ptob((uint32_t)mptr->NumberOfPages);
526 		vm_addr =   (vm_offset_t) mptr->VirtualStart;
532 		phys_addr = (vm_map_offset_t) mptr->PhysicalStart;
534 			mptr->Type,
536 			(void *) (uintptr_t) mptr->VirtualStart,
540 		     (mptr->Type == kEfiRuntimeServicesCode) ? VM_PROT_READ | VM_PROT_EXECUTE : VM_PROT_READ|VM_PROT_WRITE,
541 		     (mptr->Type == EfiMemoryMappedIO)       ? VM_WIMG_IO   : VM_WIMG_USE_DEFAULT);
572 	EfiMemoryRange *mptr;
589 	mptr = (EfiMemoryRange *)ml_static_ptovirt(args->MemoryMap);
590 	for (i=0; i < mcount; i++, mptr = (EfiMemoryRange *)(((vm_offset_t)mptr) + msize)) {
591 	    if ((mptr->Attribute & EFI_MEMORY_RUNTIME) == EFI_MEMORY_RUNTIME) {
593 		vm_size = (vm_offset_t)i386_ptob((uint32_t)mptr->NumberOfPages);
594 		vm_addr =   (vm_offset_t) mptr->VirtualStart;
600 		phys_addr = (vm_map_offset_t) mptr->PhysicalStart;
602 		kprintf("mapping[%u] %qx @ %lx, %llu\n", mptr->Type, phys_addr, (unsigned long)vm_addr, mptr->NumberOfPages);
612 	mptr = map;
613 	for (i=0; i < mcount; i++, mptr = (EfiMemoryRange *)(((vm_offset_t)mptr) + msize)) {
614 	    if ((mptr->Attribute & EFI_MEMORY_RUNTIME) == EFI_MEMORY_RUNTIME) {
616 		vm_size = (vm_offset_t)i386_ptob((uint32_t)mptr->NumberOfPages);
617 		vm_addr =   (vm_offset_t) mptr->VirtualStart;
622 		phys_addr = (vm_map_offset_t) mptr->PhysicalStart;
624 		kprintf("mapping[%u] %qx @ %lx, %llu\n", mptr->Type, phys_addr, (unsigned long)vm_addr, mptr->NumberOfPages);
627 			 (mptr->Type == kEfiRuntimeServicesCode) ? VM_PROT_READ | VM_PROT_EXECUTE : VM_PROT_READ|VM_PROT_WRITE,
628 			 (mptr->Type == EfiMemoryMappedIO)       ? VM_WIMG_IO   : VM_WIMG_USE_DEFAULT);