Searched refs:init_boot_modules (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/usr/kaluga/ | ||
| H A D | boot_modules.h | 47 errval_t init_boot_modules(void); |
| H A D | main.c | 127 err = init_boot_modules(); |
| H A D | boot_modules.c | 244 errval_t init_boot_modules(void) function |
Completed in 36 milliseconds