Constant WDIOC_SETPRETIMEOUT 

pub const WDIOC_SETPRETIMEOUT: u32 = 3221509896;