Man pages matching name rtcgetdeviceproperty in section 3:

rtcGetDeviceProperty.3.en	debian 11 / libembree-dev
rtcGetDeviceProperty.3.en	debian 12 / libembree-dev