Constant WDIOC_GETPRETIMEOUT 

pub const WDIOC_GETPRETIMEOUT: u32 = 2147768073;