carta

PAPI_shutdown(3) on Linux

The text 8d64b1f1da67, as Debian 8 (Jessie) shipped it.

Finish using PAPI and free all related resources.

PAPI_shutdown(3) on Linux now