This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / arch / microblaze / platform / 
tree4482a6da9f9149222786b665d334f1836f633054
drwxr-xr-x   ..
-rw-r--r-- 1736 Kconfig.platform
-rw-r--r-- 119 Makefile
drwxr-xr-x - generic
-rw-r--r-- 762 platform.c