2 * coreboot ACPI Table support
3 * written by Stefan Reinauer <stepan@openbios.org>
4 * ACPI FADT, FACS, and DSDT table support added by
5 * Nick Barker <nick.barker9@btinternet.com>, and those portions
6 * (C) Copyright 2004 Nick Barker
7 * (C) Copyright 2005 Stefan Reinauer
10 #include <console/console.h>
12 #include <arch/acpi.h>
14 extern unsigned char AmlCode[];
16 unsigned long acpi_fill_mcfg(unsigned long current)
22 unsigned long acpi_fill_slit(unsigned long current)
28 unsigned long acpi_fill_madt(unsigned long current)
34 unsigned long acpi_fill_srat(unsigned long current)
36 /* No NUMA, no SRAT */
40 unsigned long write_acpi_tables(unsigned long start)
42 unsigned long current;
51 /* Align ACPI tables to 16byte */
52 start = ( start + 0x0f ) & -0x10;
55 printk_info("ACPI: Writing ACPI tables at %lx...\n", start);
57 /* We need at least an RSDP and an RSDT Table */
58 rsdp = (acpi_rsdp_t *) current;
59 current += sizeof(acpi_rsdp_t);
60 rsdt = (acpi_rsdt_t *) current;
61 current += sizeof(acpi_rsdt_t);
63 /* clear all table memory */
64 memset((void *)start, 0, current - start);
66 acpi_write_rsdp(rsdp, rsdt);
67 acpi_write_rsdt(rsdt);
70 * We explicitly add these tables later on:
72 printk_debug("ACPI: * FACS\n");
73 facs = (acpi_facs_t *) current;
74 current += sizeof(acpi_facs_t);
75 acpi_create_facs(facs);
77 dsdt = (acpi_header_t *)current;
78 current += ((acpi_header_t *)AmlCode)->length;
79 memcpy((void *)dsdt,(void *)AmlCode, ((acpi_header_t *)AmlCode)->length);
80 dsdt->checksum = 0; // don't trust intel iasl compiler to get this right
81 dsdt->checksum = acpi_checksum(dsdt,dsdt->length);
82 printk_debug("ACPI: * DSDT @ %08x Length %x\n",dsdt,dsdt->length);
83 printk_debug("ACPI: * FADT\n");
85 fadt = (acpi_fadt_t *) current;
86 current += sizeof(acpi_fadt_t);
88 acpi_create_fadt(fadt,facs,dsdt);
89 acpi_add_table(rsdt,fadt);
91 printk_info("ACPI: done.\n");