--- old/src/hotspot/share/runtime/threadSMR.cpp	2018-12-05 10:45:34.424819454 +0100
+++ new/src/hotspot/share/runtime/threadSMR.cpp	2018-12-05 10:45:33.983806717 +0100
@@ -28,7 +28,7 @@
 #include "runtime/jniHandles.inline.hpp"
 #include "runtime/thread.inline.hpp"
 #include "runtime/threadSMR.inline.hpp"
-#include "runtime/vm_operations.hpp"
+#include "runtime/vmOperations.hpp"
 #include "services/threadService.hpp"
 #include "utilities/copy.hpp"
 #include "utilities/globalDefinitions.hpp"