drivers/tee/optee/optee_private.h

   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 */