Home
last modified time | relevance | path

Searched hist:e9c7ea671dde11c4c264e3e80eedd5971c587858 (Results 1 – 1 of 1) sorted by relevance

/optee_os/core/arch/arm/mm/
H A Dtee_pager.ce9c7ea671dde11c4c264e3e80eedd5971c587858 Tue Apr 30 14:21:08 UTC 2019 Jens Wiklander <jens.wiklander@linaro.org> core: pager: use tlbi_mva_asid() where applicable

Instead of invalidating a virtual address for all ASIDs only target the
relevant ones. For kernel mode mappings all ASIDs still needs to be
targeted though.

Reviewed-by: Etienne Carriere <etienne.carriere@linaro.org>
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>