tools/fastmodels/main.c

92     efi_memory_descriptor *mmap=
121     mmap[first_region].Type=          EfiConventionalMemory;
122     mmap[first_region].PhysicalStart= 0x80000000;
123     mmap[first_region].VirtualStart=  0x80000000;
124     mmap[first_region].NumberOfPages= region_one / PAGE_4k;
125     mmap[first_region].Attribute=     0; /* XXX - this should change. */
139         mmap[first_region+1].Type=          EfiConventionalMemory;
140         mmap[first_region+1].PhysicalStart= 0x880000000;
141         mmap[first_region+1].VirtualStart=  0x880000000;
142         mmap[first_region+1].NumberOfPages= region_two / PAGE_4k;
143         mmap[first_region+1].Attribute=     0; /* XXX - this should change. */
149     return mmap;
153 check_alloc(uint64_t allocbase, efi_memory_descriptor *mmap, size_t region) {
154     if(allocbase >= mmap[region].PhysicalStart +
155                     mmap[region].NumberOfPages * PAGE_4k) {
158                 mmap[region].PhysicalStart,
159                 mmap[region].PhysicalStart +
160                 mmap[region].NumberOfPages * PAGE_4k,
512         efi_memory_descriptor *mmap, size_t mmap_len) {
545         efi_memory_descriptor *d= &mmap[i];
686     efi_memory_descriptor *mmap=
690     uint64_t allocbase= mmap[first_region].PhysicalStart;
705     check_alloc(allocbase, mmap, first_region);
706     mmap[0].Type= EfiBarrelfishCPUDriver;
707     mmap[0].PhysicalStart= kernel_start;
708     mmap[0].VirtualStart= kernel_start;
709     mmap[0].NumberOfPages= roundpage(cpudriver_size);
710     mmap[0].Attribute= 0; /* XXX */
716     check_alloc(allocbase, mmap, first_region);
717     mmap[1].Type= EfiBarrelfishCPUDriverStack;
718     mmap[1].PhysicalStart= config->kernel_stack;
719     mmap[1].VirtualStart= config->kernel_stack;
720     mmap[1].NumberOfPages= roundpage(config->stack_size);
721     mmap[1].Attribute= 0; /* XXX */
727         alloc_kernel_pt(&kernel_pt_size, kernel_table, mmap, mmap_len);
728     mmap[2].Type= EfiBarrelfishBootPageTable;
729     mmap[2].PhysicalStart= allocbase;
730     mmap[2].VirtualStart= allocbase;
731     mmap[2].NumberOfPages= 1;
732     mmap[2].Attribute= 0; /* XXX */
734     check_alloc(allocbase, mmap, first_region);
738     mmap[3].Type= EfiBarrelfishMultibootData;
739     mmap[3].PhysicalStart= allocbase;
740     mmap[3].VirtualStart= allocbase;
741     mmap[3].NumberOfPages= roundpage(config->multiboot_size);
742     mmap[3].Attribute= 0; /* XXX */
744     check_alloc(allocbase, mmap, first_region);
749     check_alloc(allocbase, mmap, first_region);
750     mmap[4].Type= EfiBarrelfishELFData;
751     mmap[4].PhysicalStart= config->kernel->image_address;
752     mmap[4].VirtualStart= config->kernel->image_address;
753     mmap[4].NumberOfPages= roundpage(config->kernel->image_size);
754     mmap[4].Attribute= 0; /* XXX */
771     /* Allocate all remaining modules.  We've allocated 5 mmap entries so far,
778         check_alloc(allocbase, mmap, first_region);
779         mmap[i_mmap].Type= EfiBarrelfishELFData;
780         mmap[i_mmap].PhysicalStart= m->image_address;
781         mmap[i_mmap].VirtualStart= m->image_address;
782         mmap[i_mmap].NumberOfPages= roundpage(m->image_size);
783         mmap[i_mmap].Attribute= 0; /* XXX */
803     uint64_t space_used= allocbase - mmap[first_region].PhysicalStart;
804     mmap[first_region].PhysicalStart= allocbase;
805     mmap[first_region].VirtualStart= allocbase;
806     mmap[first_region].NumberOfPages-= roundpage(space_used);
821     uint64_t shim_base= mmap[first_region].PhysicalStart;
832     if(!debug_details) print_mmap(mmap, mmap_len);