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

/barrelfish-master/include/arch/aarch64/barrelfish_kpi/
H A Ddispatcher_shared_arch.h35 struct dispatcher_shared_aarch64 *dispaarch64 = local
38 (dispaarch64->crit_pc_low <= rip && rip < dispaarch64->crit_pc_high);

Completed in 26 milliseconds