Symbol: vcpu_set_ich_hcr
arch/arm64/kvm/sys_regs.c
5637
vcpu_set_ich_hcr(vcpu);
arch/arm64/kvm/vgic/vgic.h
443
void vcpu_set_ich_hcr(struct kvm_vcpu *vcpu);