Convert CONFIG_ESDHC_DETECT_QUIRK to Kconfig
[platform/kernel/u-boot.git] / include / configs / falcon.h
1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * include/configs/falcon.h
4  *     This file is Falcon board configuration.
5  *
6  * Copyright (C) 2020 Renesas Electronics Corp.
7  */
8
9 #ifndef __FALCON_H
10 #define __FALCON_H
11
12 #include "rcar-gen3-common.h"
13
14 /*
15  * Generic Interrupt Controller Definitions.  Undefine v2 locations and define
16  * v3 locations.
17  */
18 #undef GICD_BASE
19 #undef GICC_BASE
20 #undef GICR_BASE
21 #define GICD_BASE       0xF1000000
22 #define GICR_BASE       0xF1060000
23
24 /* Board Clock */
25 /* XTAL_CLK : 16.66MHz */
26
27 #endif /* __FALCON_H */