Constant WHvX64RegisterApicIrr4 

pub const WHvX64RegisterApicIrr4: WHV_REGISTER_NAME;