PAPI_get_dev_type_attr(3) on Linux

The text 4b76ad93c0d1, as Debian 13 (Trixie) shipped it. The page shows this text now.

returns device type attributes

PAPI_get_dev_type_attr(3) on Linux now