carta

PAPI_enum_dev_type(3) on Linux

The text d735d0d32e7f, as Debian 12 (Bookworm) shipped it.

returns handle of next device type

PAPI_enum_dev_type(3) on Linux now