acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / intel / archercity_crb / include / 
tree8cddecf3d1a582492c15c596b923311d0ca2da9b
drwxr-xr-x   ..
-rw-r--r-- 181 mainboard_ras.h
-rw-r--r-- 4606 sprsp_ac_iio.h