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

/barrelfish-master/usr/kaluga/
H A Dboot_modules.h55 void set_started(struct module_info*);
H A Dboot_modules.c51 void set_started(struct module_info* mi) function
H A Dstart_pci.c454 set_started(mi);
621 set_started(mi);

Completed in 83 milliseconds