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
|