acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / asrock / z87m_oc_formula / 
treeabc0f38bb2f058bb47770e4ba5b6d5c0b14ee2d7
drwxr-xr-x   ..
-rw-r--r-- 659 Kconfig
-rw-r--r-- 105 Kconfig.name
-rw-r--r-- 184 Makefile.mk
drwxr-xr-x - acpi
-rw-r--r-- 179 board_info.txt
-rw-r--r-- 170 bootblock.c
-rw-r--r-- 6144 data.vbt
-rw-r--r-- 3837 devicetree.cb
-rw-r--r-- 621 dsdt.asl
-rw-r--r-- 317 gma-mainboard.ads
-rw-r--r-- 5056 gpio.c
-rw-r--r-- 712 hda_verb.c
-rw-r--r-- 933 romstage.c