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

/barrelfish-master/tools/fastmodels/
H A Dconfig.h36 size_t multiboot_size, multiboot_alloc; member in struct:config
H A Dbuild_multiboot.c45 cfg->multiboot_alloc= ROUNDUP(size, PAGE_4k);
47 cfg->multiboot= calloc(1, cfg->multiboot_alloc);
H A Dmain.c874 if(fwrite(config->multiboot, 1, config->multiboot_alloc, outfile)
875 != config->multiboot_alloc) {
879 image_size+= config->multiboot_alloc;

Completed in 27 milliseconds