mark_tsc_async_resets   42 arch/x86/include/asm/tsc.h extern void mark_tsc_async_resets(char *reason);
mark_tsc_async_resets  178 arch/x86/kernel/apic/x2apic_uv_x.c 		mark_tsc_async_resets("UV BIOS");