POSTED_INTR_VECTOR
SYSVEC(POSTED_INTR_VECTOR, kvm_posted_intr_ipi),
DECLARE_IDTENTRY_SYSVEC(POSTED_INTR_VECTOR, sysvec_kvm_posted_intr_ipi);
INTG(POSTED_INTR_VECTOR, asm_sysvec_kvm_posted_intr_ipi),
kvm_vcpu_trigger_posted_interrupt(vcpu, POSTED_INTR_VECTOR);
new.nv = POSTED_INTR_VECTOR;
apic->send_IPI_self(POSTED_INTR_VECTOR);
td_vmcs_write16(tdx, POSTED_INTR_NV, POSTED_INTR_VECTOR);
tdx->vt.pi_desc.nv = POSTED_INTR_VECTOR;
vmcs_write16(POSTED_INTR_NV, POSTED_INTR_VECTOR);
vmx->vt.pi_desc.nv = POSTED_INTR_VECTOR;