Symbol: vmx_refresh_apicv_exec_ctrl
arch/x86/kvm/vmx/main.c
726
vmx_refresh_apicv_exec_ctrl(vcpu);
arch/x86/kvm/vmx/x86_ops.h
101
void vmx_refresh_apicv_exec_ctrl(struct kvm_vcpu *vcpu);