Searched refs:gicd_write_isenabler (Results 1 – 3 of 3) sorted by relevance
145 void gicd_write_isenabler(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_isenabler() function274 gicd_write_isenabler(base, id, (1U << bit_num)); in gicd_set_isenabler()
57 void gicd_write_isenabler(uintptr_t base, unsigned int id, unsigned int val);
220 gicd_write_isenabler(gicd_base, 0, sec_ppi_sgi_mask); in gicv2_secure_ppi_sgi_setup_props()