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