On Fri, Jan 20, 2023 at 07:44:02AM +0800, Gavin Shan wrote: > It has been known case where no running VCPU context exists when the > vgic/its tables are saved. There are other two unknown cases where we > don't have the running VCPU context: (a) restore vgic3 LPI pending > status. (b) restoring vgic3 pending tables. > > PATCH[1] adds unified helper vgic_write_guest_lock() > PATCH[2 - 3] allows no-running-vcpu context for (a) and (b) Besides the issue with the first patch, for the series: Reviewed-by: Oliver Upton <oliver.upton@xxxxxxxxx> -- Thanks, Oliver