hg: jdk/submit: 8243997: Linux build failed after JDK-8242244

[glaubitz at physik.fu-berlin.de]

Changeset: 98d4ea3e6432
Author:    glaubitz
Date:      2020-04-28 18:23 +0200
URL:       https://hg.openjdk.java.net/jdk/submit/rev/98d4ea3e6432

8243997: Linux build failed after JDK-8242244
Reviewed-by: ihse

! src/hotspot/os/linux/os_linux.cpp