Symbol: kvm_vgic_process_async_update
arch/arm64/kvm/arm.c
1097
kvm_vgic_process_async_update(vcpu);
include/kvm/arm_vgic.h
424
void kvm_vgic_process_async_update(struct kvm_vcpu *vcpu);