Lines Matching refs:vmcs_read16
3778 status = vmcs_read16(GUEST_INTR_STATUS);
4021 vmcs12->guest_es_selector = vmcs_read16(GUEST_ES_SELECTOR);
4022 vmcs12->guest_cs_selector = vmcs_read16(GUEST_CS_SELECTOR);
4023 vmcs12->guest_ss_selector = vmcs_read16(GUEST_SS_SELECTOR);
4024 vmcs12->guest_ds_selector = vmcs_read16(GUEST_DS_SELECTOR);
4025 vmcs12->guest_fs_selector = vmcs_read16(GUEST_FS_SELECTOR);
4026 vmcs12->guest_gs_selector = vmcs_read16(GUEST_GS_SELECTOR);
4027 vmcs12->guest_ldtr_selector = vmcs_read16(GUEST_LDTR_SELECTOR);
4028 vmcs12->guest_tr_selector = vmcs_read16(GUEST_TR_SELECTOR);
4146 vmcs12->guest_intr_status = vmcs_read16(GUEST_INTR_STATUS);