Constant WHvX64RegisterFpMmx1 

pub const WHvX64RegisterFpMmx1: WHV_REGISTER_NAME;