time-sched.c: tick_nohz_update_jiffies should be static
[linux-2.6/mini2440.git] / arch / cris / 
treee2b7c470b319ccec8124c35c9dcd1c70f7f2c973
drwxr-xr-x   ..
-rw-r--r-- 16696 Kconfig
-rw-r--r-- 1028 Kconfig.debug
-rw-r--r-- 2598 Makefile
drwxr-xr-x - arch-v10
drwxr-xr-x - arch-v32
drwxr-xr-x - configs
drwxr-xr-x - include
drwxr-xr-x - kernel
drwxr-xr-x - mm