--- old/src/hotspot/share/jvmci/jvmciCodeInstaller.cpp	2018-12-18 11:42:43.015691754 +0100
+++ new/src/hotspot/share/jvmci/jvmciCodeInstaller.cpp	2018-12-18 11:42:42.691853758 +0100
@@ -1320,6 +1320,7 @@
         break;
       case VERIFIED_ENTRY:
         _offsets.set_value(CodeOffsets::Verified_Entry, pc_offset);
+        _offsets.set_value(CodeOffsets::Verified_Value_Entry, pc_offset);
         break;
       case OSR_ENTRY:
         _offsets.set_value(CodeOffsets::OSR_Entry, pc_offset);