vmcs_write16
vmcs_write16(POSTED_INTR_NV, POSTED_INTR_NESTED_VECTOR);
vmcs_write16(GUEST_PML_INDEX, -1);
vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->nested.vpid02);
vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid);
vmcs_write16(GUEST_INTR_STATUS,
vmcs_write16(GUEST_ES_SELECTOR, vmcs12->guest_es_selector);
vmcs_write16(GUEST_CS_SELECTOR, vmcs12->guest_cs_selector);
vmcs_write16(GUEST_SS_SELECTOR, vmcs12->guest_ss_selector);
vmcs_write16(GUEST_DS_SELECTOR, vmcs12->guest_ds_selector);
vmcs_write16(GUEST_FS_SELECTOR, vmcs12->guest_fs_selector);
vmcs_write16(GUEST_GS_SELECTOR, vmcs12->guest_gs_selector);
vmcs_write16(GUEST_LDTR_SELECTOR, vmcs12->guest_ldtr_selector);
vmcs_write16(GUEST_TR_SELECTOR, vmcs12->guest_tr_selector);
vmcs_write16(GUEST_INTR_STATUS, status);
vmcs_write16(HOST_FS_SELECTOR, fs_sel);
vmcs_write16(HOST_FS_SELECTOR, 0);
vmcs_write16(HOST_GS_SELECTOR, gs_sel);
vmcs_write16(HOST_GS_SELECTOR, 0);
vmcs_write16(sf->selector, var.selector);
vmcs_write16(sf->selector, var->selector);
vmcs_write16(sf->selector, var->selector);
vmcs_write16(sf->selector, 0);
vmcs_write16(HOST_CS_SELECTOR, __KERNEL_CS); /* 22.2.4 */
vmcs_write16(HOST_DS_SELECTOR, 0);
vmcs_write16(HOST_ES_SELECTOR, 0);
vmcs_write16(HOST_DS_SELECTOR, __KERNEL_DS); /* 22.2.4 */
vmcs_write16(HOST_ES_SELECTOR, __KERNEL_DS); /* 22.2.4 */
vmcs_write16(HOST_SS_SELECTOR, __KERNEL_DS); /* 22.2.4 */
vmcs_write16(HOST_TR_SELECTOR, GDT_ENTRY_TSS*8); /* 22.2.4 */
vmcs_write16(GUEST_INTR_STATUS, 0);
vmcs_write16(POSTED_INTR_NV, POSTED_INTR_VECTOR);
vmcs_write16(LAST_PID_POINTER_INDEX, kvm->arch.max_vcpu_ids - 1);
vmcs_write16(HOST_FS_SELECTOR, 0); /* 22.2.4 */
vmcs_write16(HOST_GS_SELECTOR, 0); /* 22.2.4 */
vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid);
vmcs_write16(GUEST_PML_INDEX, PML_HEAD_INDEX);
vmcs_write16(GUEST_CS_SELECTOR, 0xf000);
vmcs_write16(GUEST_TR_SELECTOR, 0);
vmcs_write16(GUEST_LDTR_SELECTOR, 0);
vmcs_write16(GUEST_PML_INDEX, PML_HEAD_INDEX);
vmcs_write16(GUEST_INTR_STATUS, status);
vmcs_write16(GUEST_INTR_STATUS, status);