Symbol: optee_allocate_pages_list