Searched defs:irq_num (Results 1 – 4 of 4) sorted by relevance
| /device/linaro/bootloader/arm-trusted-firmware/drivers/arm/gic/ |
| D | arm_gic.c | 172 unsigned int index, irq_num, sec_ppi_sgi_mask; in arm_gic_pcpu_distif_setup() local
226 unsigned int num_ints, ctlr, index, irq_num; in arm_gic_distif_setup() local
|
| /device/linaro/bootloader/arm-trusted-firmware/drivers/arm/gic/v2/ |
| D | gicv2_helpers.c | 124 unsigned int index, irq_num; in gicv2_secure_spis_configure() local
200 unsigned int index, irq_num, sec_ppi_sgi_mask = 0; in gicv2_secure_ppi_sgi_setup() local
|
| /device/linaro/bootloader/arm-trusted-firmware/plat/nvidia/tegra/common/ |
| D | tegra_gic.c | 92 uint32_t index, num_ints, irq_num; in tegra_gic_distif_setup() local
|
| /device/linaro/bootloader/arm-trusted-firmware/drivers/arm/gic/v3/ |
| D | gicv3_helpers.c | 377 unsigned int index, irq_num; in gicv3_secure_spis_configure() local
510 unsigned int index, irq_num; in gicv3_secure_ppi_sgi_configure() local
|