Comment 18 for bug 282387

Chris Jones (cmsj) wrote :

The device name does change, but actually based on the BIOS setup. It's called TPPS/2 IBM Trackpoint on mine because I disable the touchpad in the BIOS.

Reboot and do "xinput list" to find the device, then "xinput list-props" to get the properties of that device.
(You need to reboot because if you set properties that don't exist, they are created and ignored by the driver, so rebooting gets you a clean slate).