Home
last modified time | relevance | path

Searched hist:"657 d02f24a61b30fb09abf9ab97fe553dd7fd418" (Results 1 – 2 of 2) sorted by relevance

/optee_os/core/arch/arm/kernel/
H A Dthread_a64.S657d02f24a61b30fb09abf9ab97fe553dd7fd418 Tue Apr 03 16:24:50 UTC 2018 Jens Wiklander <jens.wiklander@linaro.org> core: arm64: provide special rw kernel page at EL0

Provide a special kernel read/write mapped page while in EL0 if compiled
with CFG_CORE_UNMAP_CORE_AT_EL0 and CFG_CORE_WORKAROUND_SPECTRE_BP_SEC.
This page will later be used as a temporary replacement of
thread_core_local. thread_core_local is not completely replaced, the new
memory is only used for temporary storage of registers via the stack
pointer.

Reviewed-by: Etienne Carriere <etienne.carriere@linaro.org>
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
H A Dthread.c657d02f24a61b30fb09abf9ab97fe553dd7fd418 Tue Apr 03 16:24:50 UTC 2018 Jens Wiklander <jens.wiklander@linaro.org> core: arm64: provide special rw kernel page at EL0

Provide a special kernel read/write mapped page while in EL0 if compiled
with CFG_CORE_UNMAP_CORE_AT_EL0 and CFG_CORE_WORKAROUND_SPECTRE_BP_SEC.
This page will later be used as a temporary replacement of
thread_core_local. thread_core_local is not completely replaced, the new
memory is only used for temporary storage of registers via the stack
pointer.

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