In GICv4.1, we emulate a guest-issued INVALL command by a direct writeto GICR_INVALLR. Before we finish the emulation and go back to guest,let's make sure the physical invalidate operation is actually completedand no stale data will be left in redistributor. Per the specification,this can be achieved by polling the GICR_SYNCR.Busy bit (to zero).