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 15 static 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 26 DT_MACHINE_START(BCM2835, "BCM2835") 27 .dt_compat = bcm2835_compat, 28 .smp = smp_ops(bcm2836_smp_ops), 29 MACHINE_END 30