pub const VFIO_DEVICE_GET_REGION_INFO: u32 = 15212;