// 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