VFIO_PLATFORM_OFFSET_SHIFT
((1U << (VFIO_PLATFORM_OFFSET_SHIFT - PAGE_SHIFT)) - 1);
index = vma->vm_pgoff >> (VFIO_PLATFORM_OFFSET_SHIFT - PAGE_SHIFT);
#define VFIO_PLATFORM_OFFSET_MASK (((u64)(1) << VFIO_PLATFORM_OFFSET_SHIFT) - 1)
(off >> VFIO_PLATFORM_OFFSET_SHIFT)
((u64)(index) << VFIO_PLATFORM_OFFSET_SHIFT)