Searched refs:gicv5_enable_ppis (Results 1 – 3 of 3) sorted by relevance
20 gicv5_enable_ppis(); in gic_pcpu_init()
182 void gicv5_enable_ppis(void) in gicv5_enable_ppis() function
214 void gicv5_enable_ppis();