Constant WHvX64RegisterApicIsr1 

pub const WHvX64RegisterApicIsr1: WHV_REGISTER_NAME;