Searched refs:disp32 (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/include/arch/x86_32/barrelfish_kpi/ | ||
H A D | dispatcher_shared_arch.h | 34 struct dispatcher_shared_x86_32 *disp32 = local 37 (disp32->crit_pc_low <= rip && rip < disp32->crit_pc_high); |
Completed in 100 milliseconds