PAPI_shutdown3
Finish using papi and free all related resources.
Detailed Description
C Prototype:
#include <papi.h>
void PAPI_shutdown( void );
PAPI_shutdown() is an exit function used by the PAPI Library to free resources and shut down when certain error conditions arise. It is not necessary for the user to call this function, but doing so allows the user to have the capability to free memory and resources used by the PAPI Library.
See also
PAPI_init_library
Releases
6 releases since Debian 8 (Jessie); the text changed 5 times.