Man pages matching name sd_device_get_devnum in section 3:

sd_device_get_devnum.3.en

debian 12 / libsystemd-dev