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