Constant MAGMA_VENDOR_ID_MALI 

pub const MAGMA_VENDOR_ID_MALI: u32 = 5045;