1 /*
2  * Copyright (c) 2006-2021, RT-Thread Development Team
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  *
6  * Change Logs:
7  * Date           Author       Notes
8  * 2021-04-29     Carl    the first version
9  *
10  */
11 
12 #ifndef __FT2004_H__
13 #define __FT2004_H__
14 
15 #include <rthw.h>
16 #include <rtthread.h>
17 #include "ft_parameters.h"
18 
19 #define ARM_GIC_NR_IRQS 160
20 #define ARM_GIC_MAX_NR 1
21 #define MAX_HANDLERS 160
22 #define GIC_IRQ_START 0
23 #define GIC_ACK_INTID_MASK 0x000003ff
24 rt_uint64_t get_main_cpu_affval(void);
25 
platform_get_gic_dist_base(void)26 rt_inline rt_uint32_t platform_get_gic_dist_base(void)
27 {
28     return FT_GICV3_DISTRIBUTOR_BASEADDRESS;
29 }
30 
31 #endif // !
32