Constant WHvX64RegisterXmmControlStatus 

pub const WHvX64RegisterXmmControlStatus: WHV_REGISTER_NAME;