Constant NDIS_PROTOCOL_ID_IPX 

pub const NDIS_PROTOCOL_ID_IPX: u32 = 6u32;