x86, mce: rename 64bit mce_dont_init to mce_disabled
[linux-2.6/linux-2.6-openrd.git] / arch / arm / tools / 
treee6be1524aaf750a02eb8b61538b06f8649221eca
drwxr-xr-x   ..
-rw-r--r-- 241 Makefile
-rw-r--r-- 2076 gen-mach-types
-rw-r--r-- 83926 mach-types