hg: jdk/jdk: 8231707: Improve Mutex inlining

[claes.redestad at oracle.com]

Changeset: d873ce07465d
Author:    redestad
Date:      2019-10-03 13:45 +0200
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/d873ce07465d

8231707: Improve Mutex inlining
Reviewed-by: rehn, dholmes, coleenp

! src/hotspot/share/runtime/mutex.cpp
! src/hotspot/share/runtime/mutex.hpp