Update all device.c files.
[tinc] / src / linux /
drwxr-xr-x   ..
-rw-r--r-- 5404 device.c