carta

PAPI_set_opt(3) on Linux

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

Set PAPI library or event set options.

PAPI_set_opt(3) on Linux now