Lines Matching refs:allocbase
153 check_alloc(uint64_t allocbase, efi_memory_descriptor *mmap, size_t region) {
154 if(allocbase >= mmap[region].PhysicalStart +
157 fprintf(stderr, "Region: %lx-%lx, allocbase=%lx\n",
161 allocbase);
690 uint64_t allocbase= mmap[first_region].PhysicalStart;
691 uint64_t loadbase= allocbase;
695 uint64_t kernel_start= allocbase;
704 allocbase= ROUNDUP(allocbase + cpudriver_size, PAGE_4k);
705 check_alloc(allocbase, mmap, first_region);
713 config->kernel_stack= allocbase;
715 allocbase= ROUNDUP(allocbase + kernel_stack_alloc, PAGE_4k);
716 check_alloc(allocbase, mmap, first_region);
724 uint64_t kernel_table= allocbase;
729 mmap[2].PhysicalStart= allocbase;
730 mmap[2].VirtualStart= allocbase;
733 allocbase+= kernel_pt_size;
734 check_alloc(allocbase, mmap, first_region);
737 uint64_t multiboot= allocbase;
739 mmap[3].PhysicalStart= allocbase;
740 mmap[3].VirtualStart= allocbase;
743 allocbase= ROUNDUP(allocbase + config->multiboot_size, PAGE_4k);
744 check_alloc(allocbase, mmap, first_region);
747 config->kernel->image_address= allocbase;
748 allocbase= ROUNDUP(allocbase + config->kernel->image_size, PAGE_4k);
749 check_alloc(allocbase, mmap, first_region);
776 m->image_address= allocbase;
777 allocbase= ROUNDUP(allocbase + m->image_size, PAGE_4k);
778 check_alloc(allocbase, mmap, first_region);
803 uint64_t space_used= allocbase - mmap[first_region].PhysicalStart;
804 mmap[first_region].PhysicalStart= allocbase;
805 mmap[first_region].VirtualStart= allocbase;