Constant WHvX64RegisterApicIrr3 

pub const WHvX64RegisterApicIrr3: WHV_REGISTER_NAME;