Searched refs:x86id (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/bench/loopy/ | ||
H A D | loopy_driver.c | 71 struct capref x86id; local 73 execute_program(disp_get_core_id(), 3, argv, &x86id); local 74 wait_domain_id(x86id); |
Completed in 77 milliseconds