1 /* 2 * Copyright 2017, Rockchip Electronics Co., Ltd 3 * hisping lin, <hisping.lin@rock-chips.com> 4 * 5 * SPDX-License-Identifier: GPL-2.0+ 6 */ 7 8 #include <linux/types.h> 9 10 void OpteeClientMemInit(void); 11 12 void *OpteeClientMemAlloc(uint32_t length); 13 14 void OpteeClientMemFree(void *mem); 15