On Fri, 2015-06-12 at 16:32 +0800, Chen Baozi wrote: > From: Chen Baozi <baoz...@gmail.com> > > There are 3 places to change: > > * Initialise vMPIDR value in vcpu_initialise() > * Find the vCPU from vMPIDR affinity information when accessing GICD > registers in vGIC > * Find the vCPU from vMPIDR affinity information when booting with vPSCI > in vGIC > - Both PSCI 0.1 and PSCI 0.2 are modified to respect the MPIDR like. > > Signed-off-by: Chen Baozi <baoz...@gmail.com> > Reviewed-by: Julien Grall <julien.gr...@citrix.com>
Acked-by: Ian Campbell <ian.campb...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
