Constant NTDDI_WIN2KSP3 

pub const NTDDI_WIN2KSP3: u32 = 83886848u32;