Man pages matching name papi_get_dev_attr in section 3:

PAPI_get_dev_attr.3.en

debian 12 / libpapi-dev