1// SPDX-License-Identifier: GPL-2.0+ 2/* 3 * Copyright (C) 2010 Broadcom 4 */ 5 6#include <linux/init.h> 7#include <linux/irqchip.h> 8#include <linux/of_address.h> 9 10#include <asm/mach/arch.h> 11#include <asm/mach/map.h> 12 13#include "platsmp.h" 14 15static const char * const bcm2835_compat[] = { 16#ifdef CONFIG_ARCH_MULTI_V6 17 "brcm,bcm2835", 18#endif 19#ifdef CONFIG_ARCH_MULTI_V7 20 "brcm,bcm2836", 21 "brcm,bcm2837", 22#endif 23 NULL 24}; 25 26DT_MACHINE_START(BCM2835, "BCM2835") 27 .dt_compat = bcm2835_compat, 28 .smp = smp_ops(bcm2836_smp_ops), 29MACHINE_END 30