Constant MAGMA_VENDOR_ID_INTEL 

pub const MAGMA_VENDOR_ID_INTEL: u32 = 32902;