1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright (c) 2015, Linaro Limited
4 * Copyright (c) 2016, EPAM Systems
5 */
6
7#ifndef SHM_POOL_H
8#define SHM_POOL_H
9
10#include <linux/tee_drv.h>
11
12struct tee_shm_pool_mgr *optee_shm_pool_alloc_pages(void);
13
14#endif
15