evdev: rename device_removed() to evdev_input_device_destroy()
authorPekka Paalanen <ppaalanen@gmail.com>
Fri, 3 Aug 2012 11:38:57 +0000 (14:38 +0300)
committerKristian Høgsberg <krh@bitplanet.net>
Fri, 3 Aug 2012 17:15:43 +0000 (13:15 -0400)
commita123e5c46a3bac616cdee8e3aeebeadc7d015cc4
tree0fa11a4a05dd7e7733d0137274417d29ea2fc32e
parentc4f3338745fc2074e2c1c68e334fc9aae15a525f
evdev: rename device_removed() to evdev_input_device_destroy()

evdev_input_device_destroy() will completement the API of
evdev_input_device_create(), both being independent from udev.

Since the udev-specific device_removed() would only call
evdev_input_device_destroy() and do nothing else, device_remove() calls
are simply replaced with evdev_input_device_destroy().

Signed-off-by: Pekka Paalanen <ppaalanen@gmail.com>
src/evdev.c