Constant WHvX64RegisterFpMmx7 

pub const WHvX64RegisterFpMmx7: WHV_REGISTER_NAME;