On 29 September 2015 at 07:15, Andrew Jones <drjo...@redhat.com> wrote: > My current thinking is that we'll set MPIDR with KVM_SET_ONE_REG, which > will also set the cached value in struct kvm_vcpu. Reset will then use > that value.
Yes, supporting SET_ONE_REG is definitely the way to go for the userspace API for this. Watch out for the kernel's GIC code which I think currently makes assumptions about guest vcpu MPIDR values... thanks -- PMM
