Hi David, Christoph, Thank you for your reviews. On 29/10/2019 07:49, David Holmes wrote: >> Shall I remove one of them? The one in jvm.h because it's unused? > > Yes please remove the unused one in jvm.h. The updated webrev: http://cr.openjdk.java.net/~aivanov/8232724/webrev.01/ -- Regards, Alexey