Searched refs:gicr_set_isenabler0 (Results 1 – 3 of 3) sorted by relevance
168 void gicr_set_isenabler0(uintptr_t base, unsigned int id) in gicr_set_isenabler0() function535 gicr_set_isenabler0(gicr_base, irq_num); in gicv3_secure_ppi_sgi_configure()587 gicr_set_isenabler0(gicr_base, current_prop->intr_num); in gicv3_secure_ppi_sgi_configure_props()
73 void gicr_set_isenabler0(uintptr_t base, unsigned int id);
871 gicr_set_isenabler0( in gicv3_enable_interrupt()