Constant WHvX64RegisterApicLvtTimer 

pub const WHvX64RegisterApicLvtTimer: WHV_REGISTER_NAME;