Searched refs:gicr_set_icpendr0 (Results 1 – 3 of 3) sorted by relevance
76 void gicr_set_icpendr0(uintptr_t base, unsigned int id);
202 void gicr_set_icpendr0(uintptr_t base, unsigned int id) in gicr_set_icpendr0() function
1093 gicr_set_icpendr0(gicv3_driver_data->rdistif_base_addrs[proc_num], in gicv3_clear_interrupt_pending()