carta

PAPI_shutdown(3) on Linux

The text b43cefd72394, as Debian 9 (Stretch) shipped it.

Finish using PAPI and free all related resources.

PAPI_shutdown(3) on Linux now