vgic_v3_configure_hcr - Linux

Symbol: vgic_v3_configure_hcr

arch/arm64/kvm/vgic/vgic.c

vgic_v3_configure_hcr(vcpu, &als);

arch/arm64/kvm/vgic/vgic.h

void vgic_v3_configure_hcr(struct kvm_vcpu *vcpu, struct ap_list_summary *als);