Man pages matching name udev_device_get_property_value in section 3:

udev_device_get_property_value.3.en	debian 10 / libudev-dev
udev_device_get_property_value.3.en	debian 11 / libudev-dev
udev_device_get_property_value.3.en	debian 12 / libudev-dev