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

/barrelfish-master/usr/kaluga/
H A Dmain.c51 set_start_function("net_sockets_server", start_networking);
52 set_start_function("rtl8029", start_networking);
53 set_start_function("corectrl", start_boot_driver);
57 set_start_function("iommu", start_iommu_driver);
58 set_start_function("serial_pc16550d", default_start_function_pure);
62 set_start_function("sfn5122f", start_networking_new);
63 set_start_function("e10k", start_networking_new);
64 set_start_function("e1000n", start_networking_new);
65 set_start_function("mlx4", start_networking_new);
66 set_start_function("e1000n_irqtes
[all...]
H A Dboot_modules.h54 void set_start_function(char*, module_start_fn);
H A Dboot_modules.c43 void set_start_function(char* binary, module_start_fn start_fn) function

Completed in 88 milliseconds