Searched refs:restore_sched_clock_state (Results 1 – 5 of 5) sorted by relevance
325 void (*restore_sched_clock_state)(void); member
156 .restore_sched_clock_state = tsc_restore_sched_clock_state,
332 x86_platform.restore_sched_clock_state = kvm_restore_sched_clock_state; in kvmclock_init()
324 old_restore_sched_clock_state = x86_platform.restore_sched_clock_state; in x86_setup_ops_for_tsc_pg_clock()325 x86_platform.restore_sched_clock_state = hv_restore_sched_clock_state; in x86_setup_ops_for_tsc_pg_clock()
279 x86_platform.restore_sched_clock_state(); in __restore_processor_state()