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 12 struct tee_shm_pool_mgr *optee_shm_pool_alloc_pages(void); 13 14 #endif