PAPI_remove_events(3) on Linux

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

Remove an array of hardware event codes from a PAPI event set.

PAPI_remove_events(3) on Linux now