acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / intel / dq67sw / acpi / 
tree6534e941eebec40b53fb8622ff37ea14e8097f10
drwxr-xr-x   ..
-rw-r--r-- 103 ec.asl
-rw-r--r-- 910 pci.asl
-rw-r--r-- 112 platform.asl
-rw-r--r-- 103 superio.asl