path: root/src/mainboard/amd/serengeti_cheetah_fam10/mainboard.h

unsigned long mainboard_write_acpi_tables(device_t device, unsigned long start, acpi_rsdp_t *rsdp);