Symbol: __vgic_v3_bump_eoicount
arch/arm64/kvm/hyp/vgic-v3-sr.c
828
__vgic_v3_bump_eoicount();
arch/arm64/kvm/hyp/vgic-v3-sr.c
847
__vgic_v3_bump_eoicount();