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