XkbChangeDeviceInfo(3) on Linux

The text a6ce5c0d79fc, as Debian 7 (Wheezy) shipped it.

Update the server's description of a device with the changes noted in an XkbDeviceChangesRec