Hi,
On 23/12/2014 04:43, manish jaggi wrote:
In gic.c, gic_update_one_lr, gic_hw_ops is called to read and write to an LR.
The function gic_update_one_lr is only used to update the LRs of the
current vCPU.
why is read/write not done on the LRs stored in the vcpu context ?
The LR array in the vCPU context is only used when to save/restore the
state of the vGIC vCPU.
When the vCPU is not sync, the state of this LRs is invalid. Think about
the vCPU running on another pCPU.
Regards,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
