Searched refs:restore_sched_clock_state (Results 1 – 4 of 4) sorted by relevance
150 .restore_sched_clock_state = tsc_restore_sched_clock_state,
331 x86_platform.restore_sched_clock_state = kvm_restore_sched_clock_state; in kvmclock_init()
309 void (*restore_sched_clock_state)(void); member
264 x86_platform.restore_sched_clock_state(); in __restore_processor_state()