1 /* 2 * Copyright (c) 2025, Arm Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef GICV5_H 8 #define GICV5_H 9 10 #ifndef __ASSEMBLER__ 11 #include <stdbool.h> 12 #include <stdint.h> 13 #endif 14 15 #include <lib/utils_def.h> 16 17 /* Interrupt Domain definitions */ 18 #define INTDMN_S 0 19 #define INTDMN_NS 1 20 #define INTDMN_EL3 2 21 #define INTDMN_RL 3 22 23 /* Trigger modes */ 24 #define TM_EDGE 0 25 #define TM_LEVEL 1 26 27 #ifndef __ASSEMBLER__ 28 29 struct gicv5_driver_data { 30 }; 31 32 extern const struct gicv5_driver_data plat_gicv5_driver_data; 33 34 void gicv5_driver_init(); 35 uint8_t gicv5_get_pending_interrupt_type(void); 36 bool gicv5_has_interrupt_type(unsigned int type); 37 #endif /* __ASSEMBLER__ */ 38 #endif /* GICV5_H */ 39