Lines Matching refs:vmcs_read16
3841 status = vmcs_read16(GUEST_INTR_STATUS);
4259 vmcs12->guest_es_selector = vmcs_read16(GUEST_ES_SELECTOR);
4260 vmcs12->guest_cs_selector = vmcs_read16(GUEST_CS_SELECTOR);
4261 vmcs12->guest_ss_selector = vmcs_read16(GUEST_SS_SELECTOR);
4262 vmcs12->guest_ds_selector = vmcs_read16(GUEST_DS_SELECTOR);
4263 vmcs12->guest_fs_selector = vmcs_read16(GUEST_FS_SELECTOR);
4264 vmcs12->guest_gs_selector = vmcs_read16(GUEST_GS_SELECTOR);
4265 vmcs12->guest_ldtr_selector = vmcs_read16(GUEST_LDTR_SELECTOR);
4266 vmcs12->guest_tr_selector = vmcs_read16(GUEST_TR_SELECTOR);
4385 vmcs12->guest_intr_status = vmcs_read16(GUEST_INTR_STATUS);