--- old/src/hotspot/share/gc/z/zInitialize.hpp	2019-12-11 12:53:26.213998585 +0100
+++ new/src/hotspot/share/gc/z/zInitialize.hpp	2019-12-11 12:53:25.957994341 +0100
@@ -34,6 +34,8 @@
 
 public:
   ZInitialize(ZBarrierSet* barrier_set);
+
+  static bool is_os_supported();
 };
 
 #endif // SHARE_GC_Z_ZINITIALIZE_HPP