Searched defs:sec_ppi_sgi_mask (Results 1 – 3 of 3) sorted by relevance
200 unsigned int index, irq_num, sec_ppi_sgi_mask = 0; in gicv2_secure_ppi_sgi_setup() local250 uint32_t sec_ppi_sgi_mask = 0; in gicv2_secure_ppi_sgi_setup_props() local
66 uint32_t index, sec_ppi_sgi_mask = 0; in tegra_gic_pcpu_distif_setup() local
172 unsigned int index, irq_num, sec_ppi_sgi_mask; in arm_gic_pcpu_distif_setup() local