Constant WHvX64RegisterApicIsr7 

pub const WHvX64RegisterApicIsr7: WHV_REGISTER_NAME;