Searched refs:guest_sysenter_cs (Results 1 – 4 of 4) sorted by relevance
132 u32 guest_sysenter_cs; member565 *value = current_evmcs->guest_sysenter_cs; in evmcs_vmread()1059 current_evmcs->guest_sysenter_cs = value; in evmcs_vmwrite()
201 u32 guest_sysenter_cs;
1914 vmcs12->guest_sysenter_cs = evmcs->guest_sysenter_cs; in copy_enlightened_to_vmcs12() 2101 evmcs->guest_sysenter_cs = vmcs12->guest_sysenter_cs; in copy_vmcs12_to_enlightened() 2637 vmcs_write32(GUEST_SYSENTER_CS, vmcs12->guest_sysenter_cs); in prepare_vmcs02_rare()
2366 get_vmcs12(vcpu)->guest_sysenter_cs = data; in vmx_set_msr()