Constant WHvX64RegisterApicLvtThermal 

pub const WHvX64RegisterApicLvtThermal: WHV_REGISTER_NAME;