optee_enumerate_devices  722 drivers/tee/optee/core.c 	rc = optee_enumerate_devices();
optee_enumerate_devices  176 drivers/tee/optee/optee_private.h int optee_enumerate_devices(void);