tools/fastmodels/main.c

123     mmap[first_region].VirtualStart=  0x80000000;
141         mmap[first_region+1].VirtualStart=  0x880000000;
548             if(d->VirtualStart + d->NumberOfPages * PAGE_4k >= BIT(39)) {
553             if((d->VirtualStart & MASK(30)) != 0) {
563             size_t ptbase= d->VirtualStart >> 30;
708     mmap[0].VirtualStart= kernel_start;
719     mmap[1].VirtualStart= config->kernel_stack;
730     mmap[2].VirtualStart= allocbase;
740     mmap[3].VirtualStart= allocbase;
752     mmap[4].VirtualStart= config->kernel->image_address;
781         mmap[i_mmap].VirtualStart= m->image_address;
805     mmap[first_region].VirtualStart= allocbase;