xcb_input_get_device_focus(3) on Linux

The text b8de0a3d4d44, as Debian 9 (Stretch) shipped it.

xcb_input_get_device_focus(3) on Linux now