Constant devices::vmwdt::VMWDT_DEFAULT_TIMEOUT_SEC

pub const VMWDT_DEFAULT_TIMEOUT_SEC: u32 = 10;