Constant CCODE::NTDDI_WIN2KSP4

pub const NTDDI_WIN2KSP4: u32 = 83887104;