[][src]Constant CCODE::NTDDI_WIN2KSP1

pub const NTDDI_WIN2KSP1: u32 = 83886336;