ubuntu-linux-kernel/kernel/range.o