vma_is_single_threaded_private
vma_is_single_threaded_private(vma)))
is_private_single_threaded = vma_is_single_threaded_private(vma);