ubuntu-linux-kernel/lib/timerqueue.o