acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / google / jecht / variants / guado / 
tree8db31a9dd5a6dbb9c9d5c4315468a6b28f90b534
drwxr-xr-x   ..
-rw-r--r-- 4487 gpio.c
drwxr-xr-x - include
-rw-r--r-- 1127 pei_data.c