The text 9cef0ea0ce27, as Debian 8 (Jessie) shipped it.
Lock one of two mutex variables defined in papi.h.
PAPI_lock(3) on Linux now
