| commit | 5343f09f458fa133e44ff22ca12d932aa4e7bc4c | [log] [tgz] |
|---|---|---|
| author | Jens Wiklander <jens.wiklander@linaro.org> | Mon Oct 07 12:41:21 2019 +0200 |
| committer | Jérôme Forissier <jerome@forissier.org> | Mon Dec 16 09:36:08 2019 +0100 |
| tree | 71fde748ac8b86e1b3d9f10e03c3fa939e068cbe | |
| parent | 2ccaf1af56235710bacef2e7c0bdee40307d5199 [diff] |
core: add common user_mode_ctx_print_mappings() Adds a common user_mode_ctx_print_mappings() which prints the current user mode mappings. Acked-by: Pipat Methavanitpong <pipat.methavanitpong@linaro.org> Reviewed-by: Jerome Forissier <jerome@forissier.org> Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
This git contains source code for the secure side implementation of OP-TEE project.
All official OP-TEE documentation has moved to http://optee.readthedocs.io.
// OP-TEE core maintainers