Constant WHvX64RegisterApicIsr5 

pub const WHvX64RegisterApicIsr5: WHV_REGISTER_NAME;