max_warp          218 arch/x86/kernel/tsc_sync.c static cycles_t max_warp;
max_warp          268 arch/x86/kernel/tsc_sync.c 			max_warp = max(max_warp, prev - now);
max_warp          269 arch/x86/kernel/tsc_sync.c 			cur_max_warp = max_warp;
max_warp          370 arch/x86/kernel/tsc_sync.c 			   "turning off TSC clock.\n", max_warp);
max_warp          382 arch/x86/kernel/tsc_sync.c 	max_warp = 0;
max_warp          439 arch/x86/kernel/tsc_sync.c 	gbl_max_warp = max_warp;