Constant NTDDI_WIN2KSP4

Source
pub const NTDDI_WIN2KSP4: u32 = 83887104;