Searched refs:save_sched_clock_state (Results 1 – 4 of 4) sorted by relevance
324 void (*save_sched_clock_state)(void); member
155 .save_sched_clock_state = tsc_save_sched_clock_state,
327 old_save_sched_clock_state = x86_platform.save_sched_clock_state; in x86_setup_ops_for_tsc_pg_clock()328 x86_platform.save_sched_clock_state = hv_save_sched_clock_state; in x86_setup_ops_for_tsc_pg_clock()
138 x86_platform.save_sched_clock_state(); in save_processor_state()