Searched hist:e9c7ea671dde11c4c264e3e80eedd5971c587858 (Results 1 – 1 of 1) sorted by relevance
| /optee_os/core/arch/arm/mm/ | ||
| H A D | tee_pager.c | e9c7ea671dde11c4c264e3e80eedd5971c587858 Tue Apr 30 14:21:08 UTC 2019 Jens Wiklander <jens.wiklander@linaro.org> core: pager: use tlbi_mva_asid() where applicable |