tee_device_put     55 drivers/tee/tee_core.c 	tee_device_put(teedev);
tee_device_put     87 drivers/tee/tee_core.c 	tee_device_put(ctx->teedev);
tee_device_put    911 drivers/tee/tee_core.c 	tee_device_put(teedev);
tee_device_put     65 drivers/tee/tee_private.h void tee_device_put(struct tee_device *teedev);
tee_device_put     52 drivers/tee/tee_shm.c 	tee_device_put(teedev);
tee_device_put    194 drivers/tee/tee_shm.c 	tee_device_put(teedev);
tee_device_put    241 drivers/tee/tee_shm.c 		tee_device_put(teedev);
tee_device_put    332 drivers/tee/tee_shm.c 	tee_device_put(teedev);