Searched refs:gicv3_full_update (Results 1 – 3 of 3) sorted by relevance
359 void gicv3_full_update(GICv3State *s) in gicv3_full_update() function
600 void gicv3_full_update(GICv3State *s);
649 gicv3_full_update(s); in gicd_writel()