xcb_input_change_device_dont_propagate_list_checked(3) on Linux

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

xcb_input_change_device_dont_propagate_list_checked(3) on Linux now