Symbol: vgic_v4_commit
arch/arm64/kvm/vgic/vgic.c
1092
vgic_v4_commit(vcpu);
include/kvm/arm_vgic.h
455
void vgic_v4_commit(struct kvm_vcpu *vcpu);