Constant WHvX64RegisterApicIsr2 

pub const WHvX64RegisterApicIsr2: WHV_REGISTER_NAME;