Constant WHvX64RegisterFpMmx3 

pub const WHvX64RegisterFpMmx3: WHV_REGISTER_NAME;