Constant devices::vmwdt::VMWDT_REG_LEN

const VMWDT_REG_LEN: u64 = 0x10;