Constant WTS_WSD_REBOOT 

pub const WTS_WSD_REBOOT: u32 = 4u32;