Searched refs:gbl_max_warp (Results 1 – 2 of 2) sorted by relevance
176 uint32_t cur_max_warp, gbl_max_warp, count; in synchronise_count_slave() local200 gbl_max_warp = max_warp; in synchronise_count_slave()235 cur_max_warp = -gbl_max_warp; in synchronise_count_slave()
435 cycles_t cur_max_warp, gbl_max_warp; in check_tsc_sync_target() local471 gbl_max_warp = max_warp; in check_tsc_sync_target()503 cur_max_warp = -gbl_max_warp; in check_tsc_sync_target()