Searched refs:is_started (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/kaluga/
H A Dboot_modules.h51 bool is_started(struct module_info*);
H A Ddriver_startup.c323 if (is_started(driver)) {
365 if (!is_started(driver)) {
493 if (is_started(driver)) {
H A Dboot_modules.c33 inline bool is_started(struct module_info* mi) function
H A Dstart_pci.c579 if (is_started(mi)) {

Completed in 36 milliseconds