1 // SPDX-License-Identifier: GPL-2.0 2 // Copyright (c) 2018 Nuvoton Technology corporation. 3 // Copyright 2018 Google, Inc. 4 5 #include <linux/kernel.h> 6 #include <linux/types.h> 7 #include <asm/mach/arch.h> 8 #include <asm/mach-types.h> 9 #include <asm/mach/map.h> 10 #include <asm/hardware/cache-l2x0.h> 11 12 static const char *const npcm7xx_dt_match[] = { 13 "nuvoton,npcm750", 14 NULL 15 }; 16 17 DT_MACHINE_START(NPCM7XX_DT, "NPCM7XX Chip family") 18 .atag_offset = 0x100, 19 .dt_compat = npcm7xx_dt_match, 20 .l2c_aux_val = 0x0, 21 .l2c_aux_mask = ~0x0, 22 MACHINE_END 23