VFIO_CCW_NUM_REGIONS
unsigned int i = VFIO_CCW_OFFSET_TO_INDEX(*ppos) - VFIO_CCW_NUM_REGIONS;
unsigned int i = VFIO_CCW_OFFSET_TO_INDEX(*ppos) - VFIO_CCW_NUM_REGIONS;
unsigned int i = VFIO_CCW_OFFSET_TO_INDEX(*ppos) - VFIO_CCW_NUM_REGIONS;
unsigned int i = VFIO_CCW_OFFSET_TO_INDEX(*ppos) - VFIO_CCW_NUM_REGIONS;
if (index >= VFIO_CCW_NUM_REGIONS + private->num_regions)
index -= VFIO_CCW_NUM_REGIONS;
if (index >= VFIO_CCW_NUM_REGIONS + private->num_regions)
index -= VFIO_CCW_NUM_REGIONS;
info->num_regions = VFIO_CCW_NUM_REGIONS + private->num_regions;
VFIO_CCW_NUM_REGIONS + private->num_regions)
VFIO_CCW_NUM_REGIONS +
i = info->index - VFIO_CCW_NUM_REGIONS;