77 static cycle_t kvm_clock_read(void)  in kvm_clock_read()  argument
96 static cycle_t kvm_sched_clock_read(void)  in kvm_sched_clock_read()  argument
128 static unsigned long kvm_get_tsc_khz(void)  in kvm_get_tsc_khz()  argument
141 static void kvm_get_preset_lpj(void)  in kvm_get_preset_lpj()  argument
153 bool kvm_check_and_clear_guest_paused(void)  in kvm_check_and_clear_guest_paused()  argument
199 static void kvm_save_sched_clock_state(void)  in kvm_save_sched_clock_state()  argument
203 static void kvm_restore_sched_clock_state(void)  in kvm_restore_sched_clock_state()  argument
209 static void kvm_setup_secondary_clock(void)  in kvm_setup_secondary_clock()  argument
236 static void kvm_shutdown(void)  in kvm_shutdown()  argument
243 void __init kvmclock_init(void)  in kvmclock_init()  argument
304 int __init kvm_setup_vsyscall_timeinfo(void)  in kvm_setup_vsyscall_timeinfo()  argument