[ros-diffs] [ion] 20430: Move pushlock definition. It is gone from MS headers now.