Man pages matching name xkbgetdeviceledinfo in section 3:

XkbGetDeviceLedInfo.3.en	debian 10 / libx11-doc
XkbGetDeviceLedInfo.3.en	debian 11 / libx11-doc
XkbGetDeviceLedInfo.3.en	debian 12 / libx11-doc