coreboot-kgpe-d16/src/mainboard/getac/p470/mainboard.h
Vladimir Serbinenko 0e64617d7d i945: Convert to per-device ACPI
Change-Id: Iee3ee33ca58b8c722d2d38aae31e7130032512ad
Signed-off-by: Vladimir Serbinenko <phcoder@gmail.com>
Reviewed-on: http://review.coreboot.org/6804
Tested-by: build bot (Jenkins)
Reviewed-by: Aaron Durbin <adurbin@google.com>
2014-10-15 10:54:36 +02:00

4 lines
114 B
C

struct acpi_rsdp;
unsigned long mainboard_write_acpi_tables(unsigned long start,
struct acpi_rsdp *rsdp);