Man pages matching name rtcreleasedevice in section 3:

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