carta

PAPI_set_opt(3) on Linux

The text ba521ee8bdbf, as Debian 12 (Bookworm) shipped it.

Set PAPI library or event set options.

PAPI_set_opt(3) on Linux now