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

/barrelfish-master/usr/startd/
H A Dmain.c64 /* open bootmodules file and read it in */
70 err = vfs_open("/bootmodules", &vh);
72 USER_PANIC_ERR(err, "unable to open /bootmodules");
78 USER_PANIC_ERR(err, "unable to stat /bootmodules");
81 char *bootmodules = malloc(info.size + 1); local
82 if (bootmodules == NULL) {
84 "failed to allocate memory for bootmodules");
88 err = vfs_read(vh, bootmodules, info.size, &bootmodules_len);
90 USER_PANIC_ERR(err, "unable to read /bootmodules");
92 USER_PANIC("/bootmodules i
[all...]
H A Dspawn.c82 const char *bootmodules = gbootmodules; local
85 const char *start = &bootmodules[*bmpos];
90 *bmpos = end - bootmodules + 1;
146 "failed to read bootmodules entry");
223 "failed to read bootmodules entry");
285 "failed to read bootmodules entry");
401 // open bootmodules file and read it in
/barrelfish-master/usr/spawnd/
H A Dmain.c57 /* open bootmodules file and read it in */
62 // open bootmodules file and read it in
64 err = vfs_open("/bootmodules", &vh);
66 USER_PANIC_ERR(err, "unable to open /bootmodules");
72 USER_PANIC_ERR(err, "unable to stat /bootmodules");
75 char *bootmodules = malloc(info.size + 1); local
76 if (bootmodules == NULL) {
78 "failed to allocate memory for bootmodules");
81 err = vfs_read(vh, bootmodules, info.size, &bootmodules_len);
83 USER_PANIC_ERR(err, "unable to read /bootmodules");
[all...]
/barrelfish-master/usr/kaluga/
H A Dboot_modules.c145 * \brief Parses bootmodules and stores info in
148 static errval_t parse_modules(char* bootmodules) argument
150 assert(bootmodules != NULL);
153 char* bm = strdup(bootmodules);
176 * \brief Open bootmodules file and read it in
182 // open bootmodules file and read it in
184 err = vfs_open("/bootmodules", &vh);
186 USER_PANIC_ERR(err, "unable to open /bootmodules");
192 USER_PANIC_ERR(err, "unable to stat /bootmodules");
195 char *bootmodules local
246 char* bootmodules = get_bootmodules(); local
[all...]

Completed in 34 milliseconds