Man pages matching name xgetdeviceproperty in section 3:

XGetDeviceProperty.3.en	debian 10 / libxi-dev
XGetDeviceProperty.3.en	debian 11 / libxi-dev
XGetDeviceProperty.3.en	debian 12 / libxi-dev