pub const VFIO_CHECK_EXTENSION: u32 = 15205;