vmx_sync_pir_to_irr
return vmx_sync_pir_to_irr(vcpu);
int vmx_sync_pir_to_irr(struct kvm_vcpu *vcpu);