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

/barrelfish-2018-10-04/tools/fastmodels/
H A Dbuild_multiboot.h7 void *create_multiboot2_info(struct config *cfg, Elf *elf, size_t mmap_size);
H A Dbuild_multiboot.c11 create_multiboot2_info(struct config *cfg, Elf *elf, size_t mmap_size) { function
H A Dmain.c676 create_multiboot2_info(config, kernel_elf,

Completed in 46 milliseconds