Constant WHvX64RegisterXmm7 

pub const WHvX64RegisterXmm7: WHV_REGISTER_NAME;