Home
last modified time | relevance | path

Searched refs:sec_ppi_sgi_mask (Results 1 – 1 of 1) sorted by relevance

/external/arm-trusted-firmware/drivers/arm/gic/v2/
Dgicv2_helpers.c167 uint32_t sec_ppi_sgi_mask = 0; in gicv2_secure_ppi_sgi_setup_props() local
205 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()