path: root/src/mainboard/iwill/dk8_htx/mainboard.h

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