Searched refs:x86_rtc_set_cpus_count (Results 1 – 3 of 3) sorted by relevance
118 void x86_rtc_set_cpus_count(ISADevice *rtc, uint16_t cpus_count);
118 void x86_rtc_set_cpus_count(ISADevice *s, uint16_t cpus_count) in x86_rtc_set_cpus_count() function179 x86_rtc_set_cpus_count(x86ms->rtc, x86ms->boot_cpus); in x86_cpu_plug()234 x86_rtc_set_cpus_count(x86ms->rtc, x86ms->boot_cpus); in x86_cpu_unplug_cb()
629 x86_rtc_set_cpus_count(x86ms->rtc, x86ms->boot_cpus); in pc_machine_done()