Constant CCODE::NTDDI_WS08SP2

pub const NTDDI_WS08SP2: u32 = 100663808;