VFIO_CDX_OFFSET_SHIFT
((1U << (VFIO_CDX_OFFSET_SHIFT - PAGE_SHIFT)) - 1);
index = vma->vm_pgoff >> (VFIO_CDX_OFFSET_SHIFT - PAGE_SHIFT);
return ((u64)(index) << VFIO_CDX_OFFSET_SHIFT);