Symbol: kvm_vgic_flush_hwstate
arch/arm64/kvm/arm.c
1261
kvm_vgic_flush_hwstate(vcpu);
include/kvm/arm_vgic.h
422
void kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu);