acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / google / octopus / variants / dood / include / variant / 
tree8bc9cf4cf78f871a66daad10f1822aa1b2320c6c
drwxr-xr-x   ..
drwxr-xr-x - acpi
-rw-r--r-- 126 ec.h
-rw-r--r-- 155 gpio.h