kvm_vcpu_trigger_posted_interrupt
kvm_vcpu_trigger_posted_interrupt(vcpu, POSTED_INTR_VECTOR);
kvm_vcpu_trigger_posted_interrupt(vcpu, POSTED_INTR_NESTED_VECTOR);