11bb92983SJerome Forissier /* SPDX-License-Identifier: BSD-2-Clause */ 2b0104773SPascal Brand /* 37315b7b4SJens Wiklander * Copyright (c) 2016, Linaro Limited 4b0104773SPascal Brand * Copyright (c) 2014, STMicroelectronics International N.V. 5b0104773SPascal Brand */ 6b0104773SPascal Brand 77315b7b4SJens Wiklander #ifndef __DRIVERS_GIC_H 87315b7b4SJens Wiklander #define __DRIVERS_GIC_H 9ec219598SPascal Brand #include <types_ext.h> 107315b7b4SJens Wiklander #include <kernel/interrupt.h> 11b0104773SPascal Brand 122729a4d6SJens Wiklander #define GIC_DIST_REG_SIZE 0x10000 132729a4d6SJens Wiklander #define GIC_CPU_REG_SIZE 0x10000 14*f13b1003SJens Wiklander 15*f13b1003SJens Wiklander #define GIC_PPI_BASE U(16) 16*f13b1003SJens Wiklander #define GIC_SPI_BASE U(32) 17*f13b1003SJens Wiklander 18e4632aa2SRayagonda Kokatanur #define GIC_SGI(x) (x) 19*f13b1003SJens Wiklander #define GIC_PPI(x) ((x) + GIC_PPI_BASE) 20*f13b1003SJens Wiklander #define GIC_SPI(x) ((x) + GIC_SPI_BASE) 212729a4d6SJens Wiklander 227315b7b4SJens Wiklander struct gic_data { 237315b7b4SJens Wiklander vaddr_t gicc_base; 247315b7b4SJens Wiklander vaddr_t gicd_base; 257315b7b4SJens Wiklander size_t max_it; 267315b7b4SJens Wiklander struct itr_chip chip; 277315b7b4SJens Wiklander }; 287315b7b4SJens Wiklander 297315b7b4SJens Wiklander /* 307315b7b4SJens Wiklander * The two gic_init_* functions initializes the struct gic_data which is 317315b7b4SJens Wiklander * then used by the other functions. 327315b7b4SJens Wiklander */ 337315b7b4SJens Wiklander 34e0c081a3SJens Wiklander void gic_init(struct gic_data *gd, vaddr_t gicc_base, vaddr_t gicd_base); 3553bd332aSSY Chiu /* initial base address only */ 367315b7b4SJens Wiklander void gic_init_base_addr(struct gic_data *gd, vaddr_t gicc_base, 377315b7b4SJens Wiklander vaddr_t gicd_base); 38bedc2b9fSsunny /* initial cpu if only, mainly use for secondary cpu setup cpu interface */ 397315b7b4SJens Wiklander void gic_cpu_init(struct gic_data *gd); 40b0104773SPascal Brand 417315b7b4SJens Wiklander void gic_it_handle(struct gic_data *gd); 42b0104773SPascal Brand 437315b7b4SJens Wiklander void gic_dump_state(struct gic_data *gd); 447315b7b4SJens Wiklander #endif /*__DRIVERS_GIC_H*/ 45