Constant WHvX64RegisterApicIrr2 

pub const WHvX64RegisterApicIrr2: WHV_REGISTER_NAME;