Constant WHvX64RegisterApicIsr4 

pub const WHvX64RegisterApicIsr4: WHV_REGISTER_NAME;