abd135ba21
This is simple pool that uses kernel page allocator. This pool can be used in case OP-TEE supports dynamic shared memory. Signed-off-by: Volodymyr Babchuk <vlad.babchuk@gmail.com> Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
24 lines
677 B
C
24 lines
677 B
C
/*
|
|
* Copyright (c) 2015, Linaro Limited
|
|
* Copyright (c) 2016, EPAM Systems
|
|
*
|
|
* This software is licensed under the terms of the GNU General Public
|
|
* License version 2, as published by the Free Software Foundation, and
|
|
* may be copied, distributed, and modified under those terms.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
*/
|
|
|
|
#ifndef SHM_POOL_H
|
|
#define SHM_POOL_H
|
|
|
|
#include <linux/tee_drv.h>
|
|
|
|
struct tee_shm_pool_mgr *optee_shm_pool_alloc_pages(void);
|
|
|
|
#endif
|