Hi Stefano, In gic.c, gic_update_one_lr, gic_hw_ops is called to read and write to an LR. why is read/write not done on the LRs stored in the vcpu context ?
Could you please elaborate why it is done this way. -Regards manish _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
