Constant WHvX64RegisterApicIrr7 

pub const WHvX64RegisterApicIrr7: WHV_REGISTER_NAME;