Searched hist:"79083642 a1147cfec6dbf75cf3bbcaa0155fd66a" (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/arch/arm/kernel/ |
| H A D | thread_a32.S | 79083642a1147cfec6dbf75cf3bbcaa0155fd66a Mon Apr 29 14:41:37 UTC 2019 Jens Wiklander <jens.wiklander@linaro.org> core: add icache_inv_user_range()
Adds icache_inv_user_range() which is used when invalidating currently
mapped user space memory. This is needed since a different ASID is
usually in use while in kernel mode. So using icache_inv_range() would
normally not have any effect on user mode mappings.
Reviewed-by: Etienne Carriere <etienne.carriere@linaro.org>
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
|
| H A D | thread_a64.S | 79083642a1147cfec6dbf75cf3bbcaa0155fd66a Mon Apr 29 14:41:37 UTC 2019 Jens Wiklander <jens.wiklander@linaro.org> core: add icache_inv_user_range()
Adds icache_inv_user_range() which is used when invalidating currently
mapped user space memory. This is needed since a different ASID is
usually in use while in kernel mode. So using icache_inv_range() would
normally not have any effect on user mode mappings.
Reviewed-by: Etienne Carriere <etienne.carriere@linaro.org>
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
|