This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / arch / ia64 / scripts / 
treec3838f25dfb2fdb88afd19794cabca217b6a0228
drwxr-xr-x   ..
-rwxr-xr-x 277 check-gas
-rw-r--r-- 37 check-gas-asm.S
-rw-r--r-- 47 check-model.c
-rw-r--r-- 45 check-segrel.S
-rw-r--r-- 203 check-segrel.lds
-rw-r--r-- 41 check-serialize.S
-rw-r--r-- 69 check-text-align.S
-rw-r--r-- 2073 pvcheck.sed
-rwxr-xr-x 1397 toolchain-flags
-rw-r--r-- 1714 unwcheck.py