pub const NDIS_FLAGS_XLATE_AT_TOP: u32 = 131072u32;