Searched defs:num_spawnds_running (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/usr/proc_mgmt/
H A Ddomain.h47 coreid_t num_spawnds_running; member in struct:domain_entry

Completed in 35 milliseconds