Searched refs:restore_sched_clock_state (Results 1 – 4 of 4) sorted by relevance
302 void (*restore_sched_clock_state)(void); member
148 .restore_sched_clock_state = tsc_restore_sched_clock_state,
327 x86_platform.restore_sched_clock_state = kvm_restore_sched_clock_state; in kvmclock_init()
263 x86_platform.restore_sched_clock_state(); in __restore_processor_state()