Searched refs:sec_ppi_sgi_mask (Results 1 – 1 of 1) sorted by relevance
169 uint32_t sec_ppi_sgi_mask = 0; in gicv2_secure_ppi_sgi_setup_props() local207 sec_ppi_sgi_mask |= BIT_32((uint32_t)prop_desc->intr_num); in gicv2_secure_ppi_sgi_setup_props()218 gicd_write_igroupr(gicd_base, 0, ~sec_ppi_sgi_mask); in gicv2_secure_ppi_sgi_setup_props()221 gicd_write_isenabler(gicd_base, 0, sec_ppi_sgi_mask); in gicv2_secure_ppi_sgi_setup_props()