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