28 lines
740 B
C
28 lines
740 B
C
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
/*
|
|
* Copyright (c) 2015-2016, Linaro Limited
|
|
*/
|
|
#ifndef TEE_PRIVATE_H
|
|
#define TEE_PRIVATE_H
|
|
|
|
#include <linux/cdev.h>
|
|
#include <linux/completion.h>
|
|
#include <linux/device.h>
|
|
#include <linux/kref.h>
|
|
#include <linux/mutex.h>
|
|
#include <linux/types.h>
|
|
|
|
int tee_shm_get_fd(struct tee_shm *shm);
|
|
|
|
bool tee_device_get(struct tee_device *teedev);
|
|
void tee_device_put(struct tee_device *teedev);
|
|
|
|
void teedev_ctx_get(struct tee_context *ctx);
|
|
void teedev_ctx_put(struct tee_context *ctx);
|
|
|
|
struct tee_shm *tee_shm_alloc_user_buf(struct tee_context *ctx, size_t size);
|
|
struct tee_shm *tee_shm_register_user_buf(struct tee_context *ctx,
|
|
unsigned long addr, size_t length);
|
|
|
|
#endif /*TEE_PRIVATE_H*/
|