Constant devices::vmwdt::VMWDT_DEFAULT_CLOCK_HZ

pub const VMWDT_DEFAULT_CLOCK_HZ: u32 = 2;