31f9631548
Use <arch/acpi.h> when appropriate. Change-Id: I05a28d2c15565c21407101e611ee1984c5411ff0 Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr> Reviewed-on: https://review.coreboot.org/c/coreboot/+/31781 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Werner Zeh <werner.zeh@siemens.com> |
||
---|---|---|
.. | ||
acpi | ||
acpi_tables.c | ||
board_info.txt | ||
cmos.layout | ||
config_seabios | ||
devicetree.cb | ||
dsdt.asl | ||
fadt.c | ||
gpio.h | ||
irq_tables.c | ||
irqroute.c | ||
irqroute.h | ||
Kconfig | ||
Kconfig.name | ||
Makefile.inc | ||
romstage.c | ||
thermal.h |