Following ARMARM sec D5.2.11, which says:
Where an instruction results in an update to a System register,
as is the case with the AT * address translation instructions,
explicit synchronization must be performed before the result is
guaranteed to be visible to subsequent direct reads of the
PAR_EL1.
Sponsored by: Ampere Computing