This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / arch / arm / mach-zynq / 
tree3ceed48f9320289ffcef07b9dbab2b26f445a61a
drwxr-xr-x   ..
-rw-r--r-- 84 Makefile
-rw-r--r-- 84 Makefile.boot
-rw-r--r-- 2866 common.c
-rw-r--r-- 726 common.h
drwxr-xr-x - include
-rw-r--r-- 9036 timer.c