Constant VFIO_CHECK_EXTENSION 

pub const VFIO_CHECK_EXTENSION: u32 = 15205;