Symbol: free_pages_list
drivers/tee/optee/smc_abi.c
782
free_pages_list(call_ctx);
drivers/tee/optee/smc_abi.c
792
free_pages_list(call_ctx);