ACPI: PCI: always use the PCI INTx pin values, not the _PRT ones
[linux-2.6/mini2440.git] / Documentation / controllers / 
treebc4e0c046b63dc4361a7fe9cdb3ab98490f7fc38
drwxr-xr-x   ..
-rw-r--r-- 1898 devices.txt
-rw-r--r-- 10992 memory.txt
-rw-r--r-- 5530 resource_counter.txt