Searched refs:arm_gicv3_compatible_list (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/
H A Dgicv3.c139 char *arm_gicv3_compatible_list[] = { variable
143 DEFINE_IRQCHIP_PARSER(arm_gicv3, arm_gicv3_compatible_list, parse_arm_gicv3_interrupts);
/seL4-refos-master/libs/libplatsupport/src/arch/arm/irqchip/
H A Dgicv3.c139 char *arm_gicv3_compatible_list[] = { variable
143 DEFINE_IRQCHIP_PARSER(arm_gicv3, arm_gicv3_compatible_list, parse_arm_gicv3_interrupts);

Completed in 27 milliseconds