Constant WHvX64RegisterApicTmr3 

pub const WHvX64RegisterApicTmr3: WHV_REGISTER_NAME;