Searched refs:gicr_set_ispendr0 (Results 1 – 3 of 3) sorted by relevance
75 void gicr_set_ispendr0(uintptr_t base, unsigned int id);
213 void gicr_set_ispendr0(uintptr_t base, unsigned int id) in gicr_set_ispendr0() function
1120 gicr_set_ispendr0(gicv3_driver_data->rdistif_base_addrs[proc_num], in gicv3_set_interrupt_pending()