Searched defs:disp_get_core_id (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/usr/replay/ | ||
H A D | slave.c | 128 disp_get_core_id(void) function |
/barrelfish-master/lib/barrelfish/ | ||
H A D | domain.c | 1099 coreid_t disp_get_core_id(void) function [all...] |
Completed in 39 milliseconds