Constant WHvX64RegisterApicIsr3 

pub const WHvX64RegisterApicIsr3: WHV_REGISTER_NAME;