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