[][src]Constant CCODE::NTDDI_WIN2KSP2

pub const NTDDI_WIN2KSP2: u32 = 83886592;