Constant WHvX64RegisterApicIrr1 

pub const WHvX64RegisterApicIrr1: WHV_REGISTER_NAME;