Symbol: VFIO_PCI_BAR4_REGION_INDEX