[PATCH] kill include/linux/platform.h, default_idle() cleanup
treef8594a754736aecfb52d835a2e12f46a923e6ed6
-rw-r--r-- 462 .gitignore
-rw-r--r-- 18693 COPYING
-rw-r--r-- 89678 CREDITS
drwxr-xr-x - Documentation
-rw-r--r-- 1250 Kbuild
-rw-r--r-- 68029 MAINTAINERS
-rw-r--r-- 44812 Makefile
-rw-r--r-- 15473 README
-rw-r--r-- 3065 REPORTING-BUGS
drwxr-xr-x - arch
drwxr-xr-x - block
drwxr-xr-x - crypto
drwxr-xr-x - drivers
drwxr-xr-x - fs
drwxr-xr-x - include
drwxr-xr-x - init
drwxr-xr-x - ipc
drwxr-xr-x - kernel
drwxr-xr-x - lib
drwxr-xr-x - mm
drwxr-xr-x - net
drwxr-xr-x - scripts
drwxr-xr-x - security
drwxr-xr-x - sound
drwxr-xr-x - usr