/* SPDX-License-Identifier: GPL-2.0+ */
/*
 * include/configs/falcon.h
 *     This file is Falcon board configuration.
 *
 * Copyright (C) 2020 Renesas Electronics Corp.
 */

#ifndef __FALCON_H
#define __FALCON_H

#include "rcar-gen3-common.h"

/*
 * Generic Interrupt Controller Definitions.  Undefine v2 locations and define
 * v3 locations.
 */
#undef GICD_BASE
#undef GICC_BASE
#undef GICR_BASE
#define GICD_BASE	0xF1000000
#define GICR_BASE	0xF1060000

/* Board Clock */
/* XTAL_CLK : 16.66MHz */

/* Generic Timer Definitions (use in assembler source) */
#define COUNTER_FREQUENCY	0xFE502A	/* 16.66MHz from CPclk */

#endif /* __FALCON_H */