Searched refs:sec_ppi_sgi_mask (Results 1 – 1 of 1) sorted by relevance
167 uint32_t sec_ppi_sgi_mask = 0; in gicv2_secure_ppi_sgi_setup_props() local205 sec_ppi_sgi_mask |= (1u << prop_desc->intr_num); in gicv2_secure_ppi_sgi_setup_props()216 gicd_write_igroupr(gicd_base, 0, ~sec_ppi_sgi_mask); in gicv2_secure_ppi_sgi_setup_props()219 gicd_write_isenabler(gicd_base, 0, sec_ppi_sgi_mask); in gicv2_secure_ppi_sgi_setup_props()