Searched refs:make_core_list (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/lib/dist/ |
| H A D | args.c | 38 static void make_core_list(coreid_t *cores, int cores_len, function
272 make_core_list(res.cores, res.cores_len, exclude, exclude_len,
275 debug_printf("pda: after make_core_list\n");
|
| /barrelfish-2018-10-04/usr/mem_serv_dist/ |
| H A D | args.c | 38 static void make_core_list(coreid_t *cores, int cores_len, function
265 make_core_list(res.cores, res.cores_len, res.exclude, res.exclude_len,
|
Completed in 39 milliseconds