rockchip: rk3288: use ARM arch timer instead of rk_timer
[oweals/u-boot.git] / arch / arm / mach-socfpga / include /
drwxr-xr-x   ..
drwxr-xr-x - mach