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

/barrelfish-master/usr/bench/xcorecap/
H A Dxcorecapbench.c182 char core_id_char[32]; local
183 snprintf(core_id_char, sizeof(core_id_char), "%d", num_cores);
184 core_id_char[sizeof(core_id_char) - 1] = '\0';
186 char *xargv[] = {argv[0], "client", core_id_char, NULL};

Completed in 78 milliseconds