The text 6d13d5ef71d8, as Debian 10 (Buster) shipped it.
Lock one of two mutex variables defined in papi.h.
PAPI_lock(3) on Linux now
