Searched refs:whpx_apic_get (Results 1 – 3 of 3) sorted by relevance
47 void whpx_apic_get(DeviceState *s);
154 void whpx_apic_get(DeviceState *dev) in whpx_apic_get() function
633 whpx_apic_get(x86_cpu->apic_state); in whpx_get_registers()770 whpx_apic_get(x86_cpu->apic_state); in whpx_get_registers()