Constant NDIS_HASH_TCP_IPV6_EX 

pub const NDIS_HASH_TCP_IPV6_EX: u32 = 8192u32;