Searched refs:num_started (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/kaluga/
H A Dboot_modules.c35 return (mi->num_started);
40 return (mi->allow_multi || (mi->num_started == 0));
53 mi->num_started += 1;
54 assert(mi->allow_multi || (mi->num_started == 1));
69 return (mi->did + mi->num_started);
74 return mi->coreoffset * mi->num_started;
134 si->num_started = 0;
H A Dboot_modules.h38 uint8_t num_started; ///< keeps track of the number of started domains member in struct:module_info

Completed in 85 milliseconds