This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / arch / alpha / oprofile / 
tree77d0a36138e152fd51072cca7e5e4e7d5312d502
drwxr-xr-x   ..
-rw-r--r-- 598 Makefile
-rw-r--r-- 4493 common.c
-rw-r--r-- 1403 op_impl.h
-rw-r--r-- 3131 op_model_ev4.c
-rw-r--r-- 5475 op_model_ev5.c
-rw-r--r-- 2692 op_model_ev6.c
-rw-r--r-- 7186 op_model_ev67.c