__vgic_v3_bump_eoicount 718 virt/kvm/arm/hyp/vgic-v3-sr.c __vgic_v3_bump_eoicount(); __vgic_v3_bump_eoicount 747 virt/kvm/arm/hyp/vgic-v3-sr.c __vgic_v3_bump_eoicount();