pvclock_get_pvti_cpu0_va
pvclock_get_pvti_cpu0_va();
struct pvclock_vsyscall_time_info *pvclock_get_pvti_cpu0_va(void);
EXPORT_SYMBOL_GPL(pvclock_get_pvti_cpu0_va);
if (!pvclock_get_pvti_cpu0_va()) {
struct pvclock_vsyscall_time_info *pvclock_get_pvti_cpu0_va(void);