Man pages matching name pskc_set_device_model in section 3:

pskc_set_device_model.3.en	debian 11 / libpskc-dev
pskc_set_device_model.3.en	debian 12 / libpskc-dev