Constant WHvX64RegisterFpMmx4 

pub const WHvX64RegisterFpMmx4: WHV_REGISTER_NAME;