Searched refs:spawn_dist_domains (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/usr/startd/ | ||
| H A D | internal.h | 20 void spawn_dist_domains(void); |
| H A D | main.c | 122 spawn_dist_domains(); |
| H A D | spawn.c | 130 void spawn_dist_domains(void) function |
Completed in 36 milliseconds