Man pages matching name sd_device_get_sysnum in section 3:

sd_device_get_sysnum.3.en

debian 12 / libsystemd-dev