VFIO_PLATFORM_OFFSET_TO_INDEX  463 drivers/vfio/platform/vfio_platform_common.c 	unsigned int index = VFIO_PLATFORM_OFFSET_TO_INDEX(*ppos);
VFIO_PLATFORM_OFFSET_TO_INDEX  539 drivers/vfio/platform/vfio_platform_common.c 	unsigned int index = VFIO_PLATFORM_OFFSET_TO_INDEX(*ppos);