Searched refs:whpx_apic_put (Results 1 – 1 of 1) sorted by relevance
131 static void whpx_apic_put(CPUState *cs, run_on_cpu_data data) in whpx_apic_put() function179 run_on_cpu(CPU(s->cpu), whpx_apic_put, RUN_ON_CPU_HOST_PTR(s)); in whpx_apic_post_load()242 run_on_cpu(CPU(s->cpu), whpx_apic_put, RUN_ON_CPU_HOST_PTR(s)); in whpx_apic_reset()