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

/barrelfish-2018-10-04/tools/fastmodels/
H A Dconfig.h36 size_t multiboot_size, multiboot_alloc; member in struct:config
H A Dbuild_multiboot.c44 cfg->multiboot_size= size;
H A Dmain.c741 mmap[3].NumberOfPages= roundpage(config->multiboot_size);
743 allocbase= ROUNDUP(allocbase + config->multiboot_size, PAGE_4k);

Completed in 32 milliseconds