tee: add OP-TEE driver
[platform/kernel/u-boot.git] / drivers / timer /
drwxr-xr-x   ..
-rw-r--r-- 4505 Kconfig
-rw-r--r-- 801 Makefile
-rw-r--r-- 2949 ag101p_timer.c
-rw-r--r-- 2378 altera_timer.c
-rw-r--r-- 2776 arc_timer.c
-rw-r--r-- 2160 ast_timer.c
-rw-r--r-- 2687 atcpit100_timer.c
-rw-r--r-- 1919 atmel_pit_timer.c
-rw-r--r-- 2795 cadence-ttc.c
-rw-r--r-- 1908 dw-apb-timer.c
-rw-r--r-- 5538 mpc83xx_timer.c
-rw-r--r-- 2863 omap-timer.c
-rw-r--r-- 4426 rockchip_timer.c
-rw-r--r-- 1435 sandbox_timer.c
-rw-r--r-- 1756 sti-timer.c
-rw-r--r-- 2704 stm32_timer.c
-rw-r--r-- 3067 timer-uclass.c
-rw-r--r-- 10702 tsc_timer.c