Constant NTDDI_WIN2KSP1 

pub const NTDDI_WIN2KSP1: u32 = 83886336u32;