kvm_hv_synic_send_eoi
void kvm_hv_synic_send_eoi(struct kvm_vcpu *vcpu, int vector)
static inline void kvm_hv_synic_send_eoi(struct kvm_vcpu *vcpu, int vector) {}