POSTED_INTR_NV
vmcs_write16(POSTED_INTR_NV, POSTED_INTR_NESTED_VECTOR);
td_vmcs_write16(tdx, POSTED_INTR_NV, POSTED_INTR_VECTOR);
FIELD(POSTED_INTR_NV, posted_intr_nv),
case POSTED_INTR_NV:
vmcs_write16(POSTED_INTR_NV, POSTED_INTR_VECTOR);
pr_err("PostedIntrVec = 0x%02x\n", vmcs_read16(POSTED_INTR_NV));
vmwrite(POSTED_INTR_NV, 0);