common: Move get_tbclk() to time.h
[platform/kernel/u-boot.git] / arch / arm / mach-versal /
drwxr-xr-x   ..
-rw-r--r-- 1251 Kconfig
-rw-r--r-- 196 Makefile
-rw-r--r-- 619 clk.c
-rw-r--r-- 2624 cpu.c
drwxr-xr-x - include
-rw-r--r-- 2600 mp.c