Searched refs:cpu_list_generation_id_get (Results 1 – 4 of 4) sorted by relevance
161 if (cpu_list_generation_id_get() != last_gen_id) { in rr_cpu_count()166 last_gen_id = cpu_list_generation_id_get(); in rr_cpu_count()
36 unsigned int cpu_list_generation_id_get(void);
164 gen_id = cpu_list_generation_id_get(); in vcpu_calculate_dirtyrate()174 if (gen_id != cpu_list_generation_id_get()) { in vcpu_calculate_dirtyrate()
77 unsigned int cpu_list_generation_id_get(void) in cpu_list_generation_id_get() function