Constant NDIS_HASH_TCP_IPV4 

pub const NDIS_HASH_TCP_IPV4: u32 = 512u32;