Constant CCODE::WDK_NTDDI_VERSION

pub const WDK_NTDDI_VERSION: u32 = 167772167;