acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / asrock / fatal1ty_z87_professional / 
tree8952d7b1134461423957a92fad95be6f6fcd3170
drwxr-xr-x   ..
-rw-r--r-- 698 Kconfig
-rw-r--r-- 121 Kconfig.name
-rw-r--r-- 184 Makefile.mk
drwxr-xr-x - acpi
-rw-r--r-- 189 board_info.txt
-rw-r--r-- 170 bootblock.c
-rw-r--r-- 6144 data.vbt
-rw-r--r-- 3902 devicetree.cb
-rw-r--r-- 622 dsdt.asl
-rw-r--r-- 317 gma-mainboard.ads
-rw-r--r-- 4985 gpio.c
-rw-r--r-- 704 hda_verb.c
-rw-r--r-- 933 romstage.c