| Jens Wiklander | d4bd3d2 | 2018-09-25 16:40:11 +0200 | [diff] [blame^] | 1 | /* SPDX-License-Identifier: GPL-2.0+ */ |
| 2 | /* | ||||
| 3 | * Copyright (c) 2018 Linaro Limited | ||||
| 4 | */ | ||||
| 5 | |||||
| 6 | #ifndef __OPTEE_PRIVATE_H | ||||
| 7 | #define __OPTEE_PRIVATE_H | ||||
| 8 | |||||
| 9 | void *optee_alloc_and_init_page_list(void *buf, ulong len, u64 *phys_buf_ptr); | ||||
| 10 | void optee_suppl_cmd(struct udevice *dev, void *shm, void **page_list); | ||||
| 11 | |||||
| 12 | #endif /* __OPTEE_PRIVATE_H */ | ||||