On Fri, 2015-06-05 at 19:18 +0100, Julien Grall wrote:
On 05/06/2015 16:56, Ian Campbell wrote:
On Mon, 2015-06-01 at 20:56 +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
Hi Ian,
On 08/06/2015 11:05, Ian Campbell wrote:
On Fri, 2015-06-05 at 19:18 +0100, Julien Grall wrote:
On 05/06/2015 16:56, Ian Campbell wrote:
On Mon, 2015-06-01 at 20:56 +0800, Chen Baozi wrote:
From: Chen Baozi baoz...@gmail.com
There are 3 places to change:
* Initialise vMPIDR value
On Mon, 2015-06-01 at 20:56 +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
On 05/06/2015 16:56, Ian Campbell wrote:
On Mon, 2015-06-01 at 20:56 +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
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
- Also
