hg: jdk/submit: 8250610: SafepointMechanism::disarm_if_needed() is declared but not used.

[richard.reingruber at sap.com]

Changeset: 1773d6f6f332
Author:    rrich
Date:      2020-07-27 10:36 +0200
URL:       https://hg.openjdk.java.net/jdk/submit/rev/1773d6f6f332

8250610: SafepointMechanism::disarm_if_needed() is declared but not used.
Reviewed-by: ???

! src/hotspot/share/runtime/safepointMechanism.hpp