carta

PAPI_is_initialized(3) on Linux

The text 9c25edb6067e, as Debian 11 (Bullseye) shipped it.

check for initialization

PAPI_is_initialized(3) on Linux now