Constant WHvX64RegisterApicIrr6 

pub const WHvX64RegisterApicIrr6: WHV_REGISTER_NAME;