Symbol: kvm_vgic_sync_hwstate
arch/arm64/kvm/arm.c
1280
kvm_vgic_sync_hwstate(vcpu);
arch/arm64/kvm/arm.c
1315
kvm_vgic_sync_hwstate(vcpu);
include/kvm/arm_vgic.h
421
void kvm_vgic_sync_hwstate(struct kvm_vcpu *vcpu);