__vmx_deliver_posted_interrupt
__vmx_deliver_posted_interrupt(vcpu, &tdx->vt.pi_desc, vector);
__vmx_deliver_posted_interrupt(vcpu, &vt->pi_desc, vector);