.init = pl011_dt_uart_init,
DT_DEVICE_END
+#ifdef CONFIG_ACPI
+#include <xen/acpi.h>
+
+static int __init pl011_acpi_uart_init(const void *data)
+{
+ acpi_status status;
+ struct acpi_table_spcr *spcr = NULL;
+ int res;
+
+ status = acpi_get_table(ACPI_SIG_SPCR, 0,
+ (struct acpi_table_header **)&spcr);
+
+ if ( ACPI_FAILURE(status) )
+ {
+ printk("pl011: Failed to get SPCR table\n");
+ return -EINVAL;
+ }
+
+ /* trigger/polarity information is not available in spcr */
+ irq_set_type(spcr->interrupt, IRQ_TYPE_EDGE_BOTH);
+
+ res = pl011_uart_init(spcr->interrupt, spcr->serial_port.address,
+ PAGE_SIZE);
+ if ( res < 0 )
+ {
+ printk("pl011: Unable to initialize\n");
+ return res;
+ }
+
+ return 0;
+}
+
+ACPI_DEVICE_START(apl011, "PL011 UART", DEVICE_SERIAL)
+ .class_type = ACPI_DBG2_PL011,
+ .init = pl011_acpi_uart_init,
+ACPI_DEVICE_END
+#endif
+
/*
* Local variables:
* mode: C
#define ACPI_DBG2_16550_COMPATIBLE 0x0000
#define ACPI_DBG2_16550_SUBSET 0x0001
+#define ACPI_DBG2_PL011 0x0003
+#define ACPI_DBG2_SBSA_32 0x000d
+#define ACPI_DBG2_SBSA 0x000e
+#define ACPI_DBG2_DCC 0x000f
+#define ACPI_DBG2_BCM2835 0x0010
#define ACPI_DBG2_1394_STANDARD 0x0000