Searched refs:gicv3_full_update (Results 1 – 3 of 3) sorted by relevance
310 void gicv3_full_update(GICv3State *s) in gicv3_full_update() function
587 void gicv3_full_update(GICv3State *s);
619 gicv3_full_update(s); in gicd_writel()