gbl_max_warp      404 arch/x86/kernel/tsc_sync.c 	cycles_t cur_max_warp, gbl_max_warp;
gbl_max_warp      439 arch/x86/kernel/tsc_sync.c 	gbl_max_warp = max_warp;
gbl_max_warp      471 arch/x86/kernel/tsc_sync.c 		cur_max_warp = -gbl_max_warp;