Searched refs:gic_update_maintenance (Results 1 – 1 of 1) sorted by relevance
333 static void gic_update_maintenance(GICState *s) in gic_update_maintenance() function350 gic_update_maintenance(s); in gic_update_virt()