28 lines · c
1/* SPDX-License-Identifier: GPL-2.0-only */2/*3 * Copyright (c) 2015-2016, Linaro Limited4 */5#ifndef TEE_PRIVATE_H6#define TEE_PRIVATE_H7 8#include <linux/cdev.h>9#include <linux/completion.h>10#include <linux/device.h>11#include <linux/kref.h>12#include <linux/mutex.h>13#include <linux/types.h>14 15int tee_shm_get_fd(struct tee_shm *shm);16 17bool tee_device_get(struct tee_device *teedev);18void tee_device_put(struct tee_device *teedev);19 20void teedev_ctx_get(struct tee_context *ctx);21void teedev_ctx_put(struct tee_context *ctx);22 23struct tee_shm *tee_shm_alloc_user_buf(struct tee_context *ctx, size_t size);24struct tee_shm *tee_shm_register_user_buf(struct tee_context *ctx,25 unsigned long addr, size_t length);26 27#endif /*TEE_PRIVATE_H*/28