Constant WDK_NTDDI_VERSION

pub const WDK_NTDDI_VERSION: u32 = 167772172u32;