devices::vmwdt

Constant VMWDT_DEFAULT_CLOCK_HZ

Source 
pub const VMWDT_DEFAULT_CLOCK_HZ: u32 = 2;