329 			     void **pages)  in handle_cmd_alloc()  argument
371 	*pages = pl;  in handle_cmd_alloc()
563 static void free_shm_pages(void **pages)  in free_shm_pages()  argument
571 	if (*pages) {  in free_shm_pages()
572 		k_free(*pages);  in free_shm_pages()
573 		*pages = NULL;  in free_shm_pages()
609 				     void **pages)  in handle_func_rpc_call()  argument
615 		free_shm_pages(pages);  in handle_func_rpc_call()
616 		handle_cmd_alloc(dev, arg, pages);  in handle_func_rpc_call()
642 			    void **pages)  in handle_rpc_call()  argument
670 		res = handle_func_rpc_call(dev, shm, pages);  in handle_rpc_call()
685 	void *pages = NULL;  in optee_call()  local
701 			handle_rpc_call(dev, &param, &pages);  in optee_call()
703 			free_shm_pages(&pages);  in optee_call()
926 		uint64_t pages[OPTEE_NUMBER_OF_ADDR_PER_PAGE - 1];  in optee_construct_page_list()  member
946 			pl[pl_idx].pages[page_idx] = k_mem_phys_addr(buf_page);  in optee_construct_page_list()