__vsyscall_fn     304 arch/x86/kernel/hpet.c static cycle_t __vsyscall_fn vread_hpet(void)
__vsyscall_fn     676 arch/x86/kernel/tsc.c static cycle_t __vsyscall_fn vread_tsc(void)