avic_refresh_apicv_exec_ctrl
.refresh_apicv_exec_ctrl = avic_refresh_apicv_exec_ctrl,
void avic_refresh_apicv_exec_ctrl(struct kvm_vcpu *vcpu);