Searched refs:pvclock_set_pvti_cpu0_va (Results 1 – 3 of 3) sorted by relevance
94 void pvclock_set_pvti_cpu0_va(struct pvclock_vsyscall_time_info *pvti);
156 void pvclock_set_pvti_cpu0_va(struct pvclock_vsyscall_time_info *pvti) in pvclock_set_pvti_cpu0_va() function
480 pvclock_set_pvti_cpu0_va(xen_clock); in xen_setup_vsyscall_time_info()