uio_find_mem_index
mi = uio_find_mem_index(vmf->vma);
int mi = uio_find_mem_index(vma);
mi = uio_find_mem_index(vma);