teedev_ctx_get     67 drivers/tee/tee_private.h void teedev_ctx_get(struct tee_context *ctx);
teedev_ctx_get    178 drivers/tee/tee_shm.c 		teedev_ctx_get(ctx);
teedev_ctx_get    245 drivers/tee/tee_shm.c 	teedev_ctx_get(ctx);