1 // SPDX-License-Identifier: GPL-2.0-only
2 // Copyright (C) 2013-2014 Broadcom Corporation
4 #include <linux/init.h>
5 #include <linux/irqchip.h>
6 #include <linux/of_platform.h>
8 #include <asm/mach-types.h>
9 #include <asm/mach/arch.h>
12 * Storage for debug-macro.S's state.
14 * This must be in .data not .bss so that it gets initialized each time the
15 * kernel is loaded. The data is declared here rather than debug-macro.S so
16 * that multiple inclusions of debug-macro.S point at the same data.
18 u32 brcmstb_uart_config[3] = {
19 /* Debug UART initialization required */
21 /* Debug UART physical address */
23 /* Debug UART virtual address */
27 static void __init brcmstb_init_irq(void)
32 static const char *const brcmstb_match[] __initconst = {
38 DT_MACHINE_START(BRCMSTB, "Broadcom STB (Flattened Device Tree)")
39 .dt_compat = brcmstb_match,
40 .init_irq = brcmstb_init_irq,