[][src]Constant CCODE::NTDDI_WIN2KSP3

pub const NTDDI_WIN2KSP3: u32 = 83886848;