Constant TDF_SERESTART 

pub const TDF_SERESTART: c_int = 0x00080000;