Hi Chen,
On 25/05/2015 04:34, Chen Baozi wrote:
On Sun, May 24, 2015 at 01:51:21PM +0100, Julien Grall wrote:
@@ -80,9 +72,7 @@ static struct vcpu *vgic_v3_get_target_vcpu(struct vcpu *v,
unsigned int irq)
ASSERT(spin_is_locked(rank-lock));
-target = rank-v3.irouter[irq % 32];
-
Hi Chen,
On 23/05/2015 14:52, 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 vMPIRR affinity
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 vMPIRR affinity information when booting with vPSCI
in vGIC