vmcs_read16
status = vmcs_read16(GUEST_INTR_STATUS);
vmcs12->guest_es_selector = vmcs_read16(GUEST_ES_SELECTOR);
vmcs12->guest_cs_selector = vmcs_read16(GUEST_CS_SELECTOR);
vmcs12->guest_ss_selector = vmcs_read16(GUEST_SS_SELECTOR);
vmcs12->guest_ds_selector = vmcs_read16(GUEST_DS_SELECTOR);
vmcs12->guest_fs_selector = vmcs_read16(GUEST_FS_SELECTOR);
vmcs12->guest_gs_selector = vmcs_read16(GUEST_GS_SELECTOR);
vmcs12->guest_ldtr_selector = vmcs_read16(GUEST_LDTR_SELECTOR);
vmcs12->guest_tr_selector = vmcs_read16(GUEST_TR_SELECTOR);
vmcs12->guest_intr_status = vmcs_read16(GUEST_INTR_STATUS);
pml_idx = vmcs_read16(GUEST_PML_INDEX);
name, vmcs_read16(sel),
vmcs_read16(GUEST_INTR_STATUS));
vmcs_read16(HOST_CS_SELECTOR), vmcs_read16(HOST_SS_SELECTOR),
vmcs_read16(HOST_DS_SELECTOR), vmcs_read16(HOST_ES_SELECTOR),
vmcs_read16(HOST_FS_SELECTOR), vmcs_read16(HOST_GS_SELECTOR),
vmcs_read16(HOST_TR_SELECTOR));
u16 status = vmcs_read16(GUEST_INTR_STATUS);
pr_err("PostedIntrVec = 0x%02x\n", vmcs_read16(POSTED_INTR_NV));
vmcs_read16(VIRTUAL_PROCESSOR_ID));
status = vmcs_read16(GUEST_INTR_STATUS);
status = vmcs_read16(GUEST_INTR_STATUS);
*p = vmcs_read16(kvm_vmx_segment_fields[seg].selector);
return vmcs_read16(GUEST_INTR_STATUS) & 0xff;