teedev_ctx_put     88 drivers/tee/tee_core.c 	teedev_ctx_put(ctx);
teedev_ctx_put     68 drivers/tee/tee_private.h void teedev_ctx_put(struct tee_context *ctx);
teedev_ctx_put     48 drivers/tee/tee_shm.c 		teedev_ctx_put(shm->ctx);
teedev_ctx_put    331 drivers/tee/tee_shm.c 	teedev_ctx_put(ctx);