Constant VMWDT_REG_CLOCK_FREQ_HZ

const VMWDT_REG_CLOCK_FREQ_HZ: u32 = 0x0C;