Symbol: optee_free_pages_list
drivers/tee/optee/smc_abi.c
517
optee_free_pages_list(pages_list, num_pages);
drivers/tee/optee/smc_abi.c
773
optee_free_pages_list(call_ctx->pages_list,