On Oct 18 11:27, Richard Henderson wrote:
> The EL3 version of this register does not include an ASID,
> and so the tlb_flush performed by vmsa_ttbr_write is not needed.
> 
> Signed-off-by: Richard Henderson <[email protected]>
Reviewed-by: Aaron Lindsay <[email protected]>

Reply via email to