Hi Marc,
On 3/19/20 8:52 PM, Marc Zyngier wrote:
The assumption here is that we're coming vgic_v4_configure_vsgis(),I don't have a specific case in mind. Just preferred asking to make
which starts
by stopping the whole guest. My guess is that it should be safe enough, but
maybe you are thinking of something else?
sure. Usually when touching those fields we take the lock (that's also
the case in vgic_debug_show for instance).