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