--- old/src/hotspot/share/runtime/objectMonitor.hpp	2020-07-14 21:33:18.000000000 -0400
+++ new/src/hotspot/share/runtime/objectMonitor.hpp	2020-07-14 21:33:18.000000000 -0400
@@ -330,8 +330,10 @@
   void*     object() const;
   void*     object_addr();
   void      set_object(void* obj);
+  void      release_set_allocation_state(AllocationState s);
   void      set_allocation_state(AllocationState s);
   AllocationState allocation_state() const;
+  AllocationState allocation_state_acquire() const;
   bool      is_free() const;
   bool      is_old() const;
   bool      is_new() const;