optee_free_pages_list  620 drivers/tee/optee/call.c 	optee_free_pages_list(pages_list, num_pages);
optee_free_pages_list  172 drivers/tee/optee/optee_private.h void optee_free_pages_list(void *array, size_t num_entries);
optee_free_pages_list  344 drivers/tee/optee/rpc.c 		optee_free_pages_list(call_ctx->pages_list,