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
12static const char *const npcm7xx_dt_match[] = {
13 "nuvoton,npcm750",
14 NULL
15};
16
17DT_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,
22MACHINE_END
23

source code of linux/arch/arm/mach-npcm/npcm7xx.c