1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright (c) 2015-2016, Linaro Limited
4 */
5#ifndef TEE_PRIVATE_H
6#define TEE_PRIVATE_H
7
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
15#define TEE_DEVICE_FLAG_REGISTERED 0x1
16#define TEE_MAX_DEV_NAME_LEN 32
17
18/**
19 * struct tee_device - TEE Device representation
20 * @name: name of device
21 * @desc: description of device
22 * @id: unique id of device
23 * @flags: represented by TEE_DEVICE_FLAG_REGISTERED above
24 * @dev: embedded basic device structure
25 * @cdev: embedded cdev
26 * @num_users: number of active users of this device
27 * @c_no_user: completion used when unregistering the device
28 * @mutex: mutex protecting @num_users and @idr
29 * @idr: register of user space shared memory objects allocated or
30 * registered on this device
31 * @pool: shared memory pool
32 */
33struct tee_device {
34 char name[TEE_MAX_DEV_NAME_LEN];
35 const struct tee_desc *desc;
36 int id;
37 unsigned int flags;
38
39 struct device dev;
40 struct cdev cdev;
41
42 size_t num_users;
43 struct completion c_no_users;
44 struct mutex mutex; /* protects num_users and idr */
45
46 struct idr idr;
47 struct tee_shm_pool *pool;
48};
49
50int tee_shm_get_fd(struct tee_shm *shm);
51
52bool tee_device_get(struct tee_device *teedev);
53void tee_device_put(struct tee_device *teedev);
54
55void teedev_ctx_get(struct tee_context *ctx);
56void teedev_ctx_put(struct tee_context *ctx);
57
58struct tee_shm *tee_shm_alloc_user_buf(struct tee_context *ctx, size_t size);
59struct tee_shm *tee_shm_register_user_buf(struct tee_context *ctx,
60 unsigned long addr, size_t length);
61
62#endif /*TEE_PRIVATE_H*/
63

source code of linux/drivers/tee/tee_private.h