die() does never return. Annotate it as such.
[coreboot.git] / src / devices /
drwxr-xr-x   ..
-rw-r--r-- 435 Config.lb
-rw-r--r-- 2120 agp_device.c
-rw-r--r-- 7922 cardbus_device.c
-rw-r--r-- 21987 device.c
-rw-r--r-- 19152 device_util.c
-rw-r--r-- 20397 hypertransport.c
-rw-r--r-- 36042 pci_device.c
-rw-r--r-- 3904 pci_ops.c
-rw-r--r-- 5033 pci_rom.c
-rw-r--r-- 2210 pciexp_device.c
-rw-r--r-- 4448 pcix_device.c
-rw-r--r-- 6803 pnp_device.c
-rw-r--r-- 6951 root_device.c
-rw-r--r-- 3663 smbus_ops.c