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