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

/barrelfish-master/usr/kaluga/
H A Dboot_modules.h37 uint8_t allow_multi; ///< allow multiple driver instances member in struct:module_info
H A Dboot_modules.c40 return (mi->allow_multi || (mi->num_started == 0));
54 assert(mi->allow_multi || (mi->num_started == 1));
59 mi->allow_multi = (is_multi != 0);
H A Ddriver_startup.c507 driver->allow_multi = 1;
540 //driver->allow_multi = 1;

Completed in 29 milliseconds