acpi_gic: Add helper for platform gicc
[coreboot2.git] / spd / 
treef3ae3c497dc003816cca5c84ff2ebc9ef33a588d
drwxr-xr-x   ..
drwxr-xr-x - ddr4
drwxr-xr-x - lp4x
drwxr-xr-x - lp5