carta

PAPI_query_named_event(3) on Linux

The text ac83ac459b32, as Debian 10 (Buster) shipped it.

Query if a named PAPI event exists.

PAPI_query_named_event(3) on Linux now