Searched hist:"3 be2f85ab194ffb760eeeffc5b38d49aabbedffb" (Results 1 – 1 of 1) sorted by relevance
| /optee_os/core/tee/ |
| H A D | tee_rpmb_fs.c | 3be2f85ab194ffb760eeeffc5b38d49aabbedffb Fri Jan 19 11:53:50 UTC 2024 Jens Wiklander <jens.wiklander@linaro.org> core: rpmb: set device ID in tee_rpmb_init()
Until now, when initializing RPMB the devices ID has been passed to
tee_rpmb_init(), but there isn't any flexibility since it's always
CFG_RPMB_FS_DEV_ID passed along. So simplify the code a bit and
use CFG_RPMB_FS_DEV_ID directly in tee_rpmb_init().
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Etienne Carriere <etienne.carriere@foss.st.com>
|