kernel-ark/include/asm-mips/mach-vr41xx
..
timex.h