Constant WDIOC_GETTIMELEFT 

pub const WDIOC_GETTIMELEFT: u32 = 2147768074;