// SPDX-License-Identifier: GPL-2.0 // Copyright (c) 2018 Nuvoton Technology corporation. // Copyright 2018 Google, Inc. #include <linux/kernel.h> #include <linux/types.h> #include <asm/mach/arch.h> #include <asm/mach-types.h> #include <asm/mach/map.h> #include <asm/hardware/cache-l2x0.h> static const char *const npcm7xx_dt_match[] = { "nuvoton,npcm750", NULL }; DT_MACHINE_START(NPCM7XX_DT, "NPCM7XX Chip family") .atag_offset = 0x100, .dt_compat = npcm7xx_dt_match, .l2c_aux_val = 0x0, .l2c_aux_mask = ~0x0, MACHINE_END