RFR: 8312585: Rename DisableTHPStackMitigation flag to THPStackMitigation

[Aleksey Shipilev]

On Mon, 7 Aug 2023 02:41:55 GMT, David Holmes <dholmes at openjdk.org> wrote:

> We've had some internal discussion and the general position is "no negative naming" and a preference I believe for "Use" as a prefix if a prefix is needed/desired. There will probably be a style-guide update proposed for the general case. So my objection is overridden and so withdrawn. :)

Thank you for initiating the discussion, and triggering the future style guide change. It was a long time coming :)

I am going to re-test this thing, while waiting for more approvals.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/14992#issuecomment-1667313622