[ros-diffs] [akhaldi] 58402: [WIN32K] * Avoid inconsistent annotations for EngSaveFloatingPointState.