u-boot/arch/arm/include/asm/arch-rk3066/timer.h