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

/barrelfish-2018-10-04/lib/barrelfish/
H A Dthreads.c1094 static int bootstrap_thread(struct spawn_domain_params *params) function
1095 //int bootstrap_thread(struct spawn_domain_params *params);
1096 //int bootstrap_thread(struct spawn_domain_params *params)
1193 (lvaddr_t)bootstrap_thread, param, 0, 0);

Completed in 88 milliseconds