Home
last modified time | relevance | path

Searched hist:"04 c205f6f3ca0cc82303fb3417fbd3515e1253ea" (Results 1 – 1 of 1) sorted by relevance

/optee_os/core/arch/arm/mm/
H A Dtee_pager.c04c205f6f3ca0cc82303fb3417fbd3515e1253ea Sun Jan 24 14:13:19 UTC 2016 Jens Wiklander <jens.wiklander@linaro.org> pager: add debug prints

Add debug prints that are triggered every 1024th page fault or when the
number of pages available to the pager changes. Useful to find out why
certain tests seems to run slowly when the pager is enabled.

Enabled by CFG_TEE_CORE_DEBUG=y.

Reviewed-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: David Brown <david.brown@linaro.org>
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>