acpi/sata: add generic sata ssdt port generator

generate_sata_ssdt_ports() generates ports based on sata enable map

Change-Id: Ie68e19c93f093d6c61634c4adfde484b88f28a77
Signed-off-by: Alexander Couzens <lynxis@fe80.eu>
Reviewed-on: http://review.coreboot.org/9708
Tested-by: build bot (Jenkins)
Reviewed-by: Philipp Deppenwiese <zaolin@das-labor.org>
Reviewed-by: Peter Stuge <peter@stuge.se>
diff --git a/src/acpi/Kconfig b/src/acpi/Kconfig
new file mode 100644
index 0000000..e025f99
--- /dev/null
+++ b/src/acpi/Kconfig
@@ -0,0 +1,6 @@
+
+config ACPI_SATA_GENERATOR
+	bool
+	default n
+	help
+	  Use acpi sata port generator.
diff --git a/src/acpi/Makefile.inc b/src/acpi/Makefile.inc
new file mode 100644
index 0000000..53ac679
--- /dev/null
+++ b/src/acpi/Makefile.inc
@@ -0,0 +1 @@
+ramstage-$(CONFIG_ACPI_SATA_GENERATOR) += sata.c
diff --git a/src/acpi/sata.c b/src/acpi/sata.c
new file mode 100644
index 0000000..60c7992
--- /dev/null
+++ b/src/acpi/sata.c
@@ -0,0 +1,64 @@
+/*
+ * Copyright (C) 2015 Alexander Couzens <lynxis@fe80.eu>
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License version 2 as
+ * published by the Free Software Foundation.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc.
+ */
+
+#include "sata.h"
+
+#include <arch/acpi.h>
+#include <arch/acpigen.h>
+
+/* e.g.
+ * generate_sata_ssdt_ports("\_SB.PCI0.SATA", 0x3);
+ * generates:
+ * Scope (\_SB.PCI0.SATA)
+ * {
+ *     Device (PR00)
+ *     {
+ *         Name (_ADR, 0x0000FFFF)  // _ADR: Address
+ *     }
+ *
+ *     Device (PR01)
+ *     {
+ *         Name (_ADR, 0x0001FFFF)  // _ADR: Address
+ *     }
+ * }
+ *
+ */
+void generate_sata_ssdt_ports(const char *scope, uint32_t enable_map)
+{
+	int i;
+	uint32_t bit;
+	char port_name[4] = "PR00";
+
+	acpigen_write_scope(scope);
+
+	/* generate a device for every enabled port */
+	for (i = 0; i < 32; i++) {
+		bit = 1 << i;
+		if (!(bit & enable_map))
+			continue;
+
+		port_name[2] = '0' + i / 10;
+		port_name[3] = '0' + i % 10;
+
+		acpigen_write_device(port_name);
+
+		acpigen_write_name_dword("_ADR", 0xffff + i * 0x10000);
+		acpigen_pop_len(); /* close PRT%d */
+	}
+
+	acpigen_pop_len(); /* close scope */
+}
diff --git a/src/acpi/sata.h b/src/acpi/sata.h
new file mode 100644
index 0000000..af4b03d
--- /dev/null
+++ b/src/acpi/sata.h
@@ -0,0 +1,3 @@
+#include <stdint.h>
+
+void generate_sata_ssdt_ports(const char *scope, uint32_t enable_map);