ARMV7/Vexpress: add missing get_ticks() and get_tbclk()
[kernel/u-boot.git] / board / armltd /
drwxr-xr-x   ..
drwxr-xr-x - integrator
drwxr-xr-x - versatile
drwxr-xr-x - vexpress