device: Consider fw_config probing in `is_dev_enabled()`
[coreboot.git] / src / include / pc80 / 
treefbd7accf915c4a4b62a13f9b8542ac1c33ca2e18
drwxr-xr-x   ..
-rw-r--r-- 1131 i8254.h
-rw-r--r-- 2186 i8259.h
-rw-r--r-- 101 isa-dma.h
-rw-r--r-- 227 keyboard.h
-rw-r--r-- 5178 mc146818rtc.h
-rw-r--r-- 548 vga.h
-rw-r--r-- 1701 vga_io.h