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

/barrelfish-master/usr/kaluga/
H A Dboot_modules.h48 struct module_info* find_module(char*);
H A Darmv7.c57 struct module_info *mi = find_module(c->name);
110 struct module_info* mi = find_module("driverdomain");
130 struct module_info *mi = find_module("driverdomain_pl390");
181 struct module_info* mi = find_module("prcm");
187 mi = find_module("usb_manager");
H A Darmv8_imx8x.c94 mi = find_module("imx8x_gpio");
129 mi = find_module("serial_kernel");
152 mi = find_module("serial_lpuart");
219 mi = find_module("imx8x_sdhc");
289 mi = find_module("pl390_dist");
366 mi = find_module("enet");
H A Ddriver_domains.c75 errval_t err = launch_driver_domain(where, did, find_module(name));
H A Dboot_modules.c45 struct module_info* mi = find_module(binary);
77 struct module_info* find_module(char *binary) function
109 return find_module("corectrl");
H A Dstart_hpet.c218 struct module_info *mi = find_module("hpet");
252 struct module_info *mi = find_module("hpet");
H A Dx86.c37 struct module_info * mi = find_module(SERIAL_BINARY);
104 struct module_info * mi = find_module(LPC_TIMER_BINARY);
H A Dstart_iommu.c147 struct module_info* mi = find_module("iommu");
H A Dstart_pci.c392 struct module_info* mi = find_module(binary_name);
518 struct module_info* driver = find_module("iommu");
573 struct module_info* mi = find_module("pci");
H A Dstart_cpu.c177 struct module_info* cpu_module = find_module(cpu_binary);
H A Ddriver_startup.c370 mi = find_module("net_sockets_server");
523 struct module_info* net_sockets = find_module("net_sockets_server");

Completed in 41 milliseconds