Searched refs:domain_init_done (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-2018-10-04/usr/tests/spantest/ |
| H A D | exit.c | 24 static void domain_init_done(void *arg, errval_t err) function
26 debug_printf("domain_init_done t:%p\n", thread_self());
50 err = domain_new_dispatcher(core, domain_init_done, NULL);
|
| H A D | interleaved.c | 23 static void domain_init_done(void *arg, errval_t err) function
25 debug_printf("domain_init_done t:%p\n", thread_self());
50 err = domain_new_dispatcher(core, domain_init_done, NULL);
|
| /barrelfish-2018-10-04/lib/bomp/backends/ |
| H A D | bomp_shared.c | 158 static void domain_init_done(void *arg, function
187 err = domain_new_dispatcher(core, domain_init_done, NULL);
|
Completed in 83 milliseconds