pci: use pci=bfsort for HP DL385 G2, DL585 G2
[linux-3.10.git] / arch / x86 /
drwxr-xr-x ..
-rw-r--r-- Kconfig
-rw-r--r-- Kconfig.cpu
-rw-r--r-- Kconfig.debug
-rw-r--r-- Makefile
-rw-r--r-- Makefile_32
-rw-r--r-- Makefile_32.cpu
-rw-r--r-- Makefile_64
drwxr-xr-x boot
drwxr-xr-x configs
drwxr-xr-x crypto
drwxr-xr-x ia32
drwxr-xr-x kernel
drwxr-xr-x lguest
drwxr-xr-x lib
drwxr-xr-x mach-default
drwxr-xr-x mach-es7000
drwxr-xr-x mach-generic
drwxr-xr-x mach-visws
drwxr-xr-x mach-voyager
drwxr-xr-x math-emu
drwxr-xr-x mm
drwxr-xr-x oprofile
drwxr-xr-x pci
drwxr-xr-x power
drwxr-xr-x vdso
drwxr-xr-x video
drwxr-xr-x xen