* kernel/processes/386/i8253.c: misc
* sys/src/9/port/clock.c: rename