__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();