Just the one minor change in this version. Patch set changelog follows:
====== Version 2 -> version 3: ====== Patch 1/1: ppc: spapr: Make VCPU ID handling private to SPAPR * Implemented spapr_find_cpu() using spapr_vcpu_id() rather than direct access to vcpu_id. ====== Version 1 -> version 2: ====== Patch 1/1: ppc: spapr: Make VCPU ID handling private to SPAPR * Re-arranged so that spapr_vcpu_id() calls kvm_arch_vcpu_id() rather than the other way around. Sam Bobroff (1): ppc: spapr: Make VCPU ID handling private to SPAPR hw/ppc/ppc.c | 21 --------------------- hw/ppc/spapr.c | 40 +++++++++++++++++++++++++++++++++------- hw/ppc/spapr_hcall.c | 4 ++-- hw/ppc/spapr_rtas.c | 4 ++-- include/hw/ppc/spapr.h | 3 +++ target/ppc/cpu.h | 18 ------------------ target/ppc/kvm.c | 2 +- 7 files changed, 41 insertions(+), 51 deletions(-) -- 2.12.1.382.gc0f9c7058