Re: [PATCH] efi/arm: enable CP15 DMB instructions before cleaning the cache

[Vladimir Murzin]

On 4/7/19 7:19 PM, Ard Biesheuvel wrote:
> Actually, the CP15 ISB is not usable here, and using the v7 ISB breaks
> v6. Would reading back SCTLR suffice?


I think instr_sync macro should do the trick.

Cheers
Vladimir