Home
last modified time | relevance | path

Searched hist:"08 f6547e2b8ebe5a30ec3add002651f226840783" (Results 1 – 1 of 1) sorted by relevance

/optee_os/core/include/mm/
H A Dtee_pager.h08f6547e2b8ebe5a30ec3add002651f226840783 Wed Jun 08 15:15:39 UTC 2022 Jens Wiklander <jens.wiklander@linaro.org> core: tee_pager.h: provide stubbed tee_pager_pgt_save_and_release_entries()

Provides a stubbed static inline
tee_pager_pgt_save_and_release_entries() when CFG_PAGED_USER_TA isn't
defined.

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