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

/barrelfish-master/lib/dist/
H A Dskb.c26 static errval_t parse_core_id_list(char *s, coreid_t *cores, int n) function
93 err = parse_core_id_list(result, *cores, *n_cores);
/barrelfish-master/usr/mem_serv_dist/
H A Dskb.c133 static errval_t parse_core_id_list(char *s, coreid_t *cores, int n) function
200 err = parse_core_id_list(result, *cores, *n_cores);

Completed in 77 milliseconds