Il 15/11/2013 06:14, Alexey Kardashevskiy ha scritto: > > It does not feel that we really need CPUState::kvm_cpu_id and > direct calling of kvm_arch_vcpu_id() would be enough.
Indeed -- and it should be kvm_ppc_vcpu_id() since other architectures do not need it. Paolo