Constant NTDDI_WS08SP2 

pub const NTDDI_WS08SP2: u32 = 100663808u32;