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

/barrelfish-2018-10-04/kernel/include/
H A Dkernel_multiboot.h28 struct multiboot_modinfo *multiboot_find_module(const char *basename);
/barrelfish-2018-10-04/kernel/arch/arm/
H A Dmultiboot.c39 struct multiboot_modinfo *multiboot_find_module(const char *pathname) function
/barrelfish-2018-10-04/kernel/arch/x86/
H A Dmultiboot.c36 struct multiboot_modinfo *multiboot_find_module(const char *pathname) function
/barrelfish-2018-10-04/tools/weever/
H A Dloader.c135 multiboot_find_module(const char *basename) function
216 kernel = multiboot_find_module("cpu");
218 kernel = multiboot_find_module("kernel");
/barrelfish-2018-10-04/tools/elver/
H A Delver.c143 static struct multiboot_modinfo *multiboot_find_module(const char *basename) function
263 kernel = multiboot_find_module("cpu");
265 kernel = multiboot_find_module("kernel");
/barrelfish-2018-10-04/include/spawndomain/
H A Dspawndomain.h113 struct mem_region *multiboot_find_module(struct bootinfo *bi, const char *name);
/barrelfish-2018-10-04/usr/monitor/
H A Dspawn.c115 struct mem_region *module = multiboot_find_module(bi, name);
139 struct mem_region *module = multiboot_find_module(bi, name);
H A Dinter.c634 struct mem_region *mod = multiboot_find_module(bi, "/spawnd");
/barrelfish-2018-10-04/lib/spawndomain/
H A Dmultiboot.c186 struct mem_region *multiboot_find_module(struct bootinfo *bi, const char *name) function
H A Dspawn.c235 struct mem_region *module = multiboot_find_module(bi, name);
873 struct mem_region *module = multiboot_find_module(bi, name);
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dstartup_arch.c162 struct multiboot_modinfo *module = multiboot_find_module(name);
/barrelfish-2018-10-04/kernel/arch/k1om/
H A Dstartup_arch.c457 struct multiboot_modinfo *module = multiboot_find_module(name);
/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dstartup_arch.c508 struct multiboot_modinfo *module = multiboot_find_module(name);
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dstartup_arch.c440 struct multiboot_modinfo *module = multiboot_find_module(name);

Completed in 132 milliseconds