Searched defs:disp_get_core_id (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/usr/replay/ | ||
| H A D | slave.c | 124 disp_get_core_id(void) function |
| /barrelfish-2018-10-04/lib/barrelfish/ | ||
| H A D | domain.c | 1107 coreid_t disp_get_core_id(void) function [all...] |
Completed in 46 milliseconds