Constant WDK_NTDDI_VERSION 

pub const WDK_NTDDI_VERSION: u32 = 167772176;