Searched refs:allocbase (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/tools/fastmodels/
H A Dmain.c153 check_alloc(uint64_t allocbase, efi_memory_descriptor *mmap, size_t region) { argument
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; local
691 uint64_t loadbase= allocbase;
695 uint64_t kernel_start= allocbase;
704 allocbase= ROUNDUP(allocbase + cpudriver_size, PAGE_4k);
705 check_alloc(allocbase, mma
[all...]

Completed in 80 milliseconds