kvm_vgic_process_async_update
kvm_vgic_process_async_update(vcpu);
void kvm_vgic_process_async_update(struct kvm_vcpu *vcpu);