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

/barrelfish-master/usr/startd/
H A Dmain.c87 size_t bootmodules_len; local
88 err = vfs_read(vh, bootmodules, info.size, &bootmodules_len);
91 } else if (bootmodules_len == 0) {
93 } else if (bootmodules_len != info.size) {
100 bootmodules[bootmodules_len] = '\0';
/barrelfish-master/usr/spawnd/
H A Dmain.c80 size_t bootmodules_len; local
81 err = vfs_read(vh, bootmodules, info.size, &bootmodules_len);
84 } else if (bootmodules_len == 0) {
86 } else if (bootmodules_len != info.size) {
96 bootmodules[bootmodules_len] = '\0';
/barrelfish-master/usr/kaluga/
H A Dboot_modules.c200 size_t bootmodules_len; local
201 err = vfs_read(vh, bootmodules, info.size, &bootmodules_len);
204 } else if (bootmodules_len == 0) {
206 } else if (bootmodules_len != info.size) {
216 bootmodules[bootmodules_len] = '\0';

Completed in 30 milliseconds