Constant WDK_NTDDI_VERSION 

pub const WDK_NTDDI_VERSION: u32 = 167772172u32;