Searched refs:whpx_vcpu_get_pc (Results 1 – 1 of 1) sorted by relevance
1396 static vaddr whpx_vcpu_get_pc(CPUState *cpu, bool exit_context_valid) in whpx_vcpu_get_pc() function1663 uint64_t pc = whpx_vcpu_get_pc(cpu, true); in whpx_vcpu_run()