PCI: Add 'nodomains' boot option, and pci_domains_supported global
[linux-2.6] / Documentation / watchdog /
drwxr-xr-x   ..
-rw-r--r-- 298 00-INDEX
-rw-r--r-- 2266 pcwd-watchdog.txt
drwxr-xr-x - src
-rw-r--r-- 8384 watchdog-api.txt
-rw-r--r-- 1513 wdt.txt