carta

PAPI_unregister_thread(3) on Linux

The text 5375ed46b49a, as Debian 10 (Buster) shipped it.

Notify PAPI that a thread has 'disappeared'.

PAPI_unregister_thread(3) on Linux now