Searched refs:whpx_put_apic_base (Results 1 – 1 of 1) sorted by relevance
99 static void whpx_put_apic_base(CPUState *cpu, uint64_t val) in whpx_put_apic_base() function137 whpx_put_apic_base(CPU(s->cpu), s->apicbase); in whpx_apic_put()