idden PCI device, but doesn't register it as a PCI device properly. Therefore, the device list in /proc/bus/pci/devices is different than the tree in /sys/bus/pci. This usually manifests as the X server failing to start, since it expects the two lists to be consistent. Signed-off-by: Adam Jackson Cc: Henrique de Moraes Holschuh Cc: Greg KH Cc: Alan Cox Cc: Doug Thompson Cc: Andi Kleen Signed-off-by: Andrew Morton Signed-off-by: Linus Torvalds