Constant WHvX64RegisterApicTmr4 

pub const WHvX64RegisterApicTmr4: WHV_REGISTER_NAME;