Symbol: optee_fill_pages_list
drivers/tee/optee/smc_abi.c
494
optee_fill_pages_list(pages_list, pages, num_pages,
drivers/tee/optee/smc_abi.c
748
optee_fill_pages_list(pages_list, pages, page_count,