// SPDX-License-Identifier: GPL-2.0+ /* * Copyright (C) 2010 Broadcom */ #include <linux/init.h> #include <linux/irqchip.h> #include <linux/of_address.h> #include <asm/mach/arch.h> #include <asm/mach/map.h> #include "platsmp.h" static const char * const bcm2835_compat[] = { #ifdef [31mCONFIG_ARCH_MULTI_V6[0m "brcm,bcm2835", #endif #ifdef [31mCONFIG_ARCH_MULTI_V7[0m "brcm,bcm2836", "brcm,bcm2837", #endif NULL }; DT_MACHINE_START(BCM2835, "BCM2835") .dt_compat = bcm2835_compat, .smp = smp_ops(bcm2836_smp_ops), MACHINE_END |