tsc_read_refs     404 arch/x86/kernel/tsc.c 		tsc1 = tsc_read_refs(&ref1, hpet);
tsc_read_refs     406 arch/x86/kernel/tsc.c 		tsc2 = tsc_read_refs(&ref2, hpet);