Constant WHvX64RegisterApicTpr 

pub const WHvX64RegisterApicTpr: WHV_REGISTER_NAME = 12296i32;