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

/barrelfish-master/usr/startd/
H A Dmain.c65 static void get_bootmodules(void) function
110 get_bootmodules();
/barrelfish-master/usr/spawnd/
H A Dmain.c58 static void get_bootmodules(void) function
112 get_bootmodules();
/barrelfish-master/usr/kaluga/
H A Dboot_modules.c178 static char* get_bootmodules(void) function
246 char* bootmodules = get_bootmodules();

Completed in 87 milliseconds