Searched refs:host_ia32_sysenter_cs (Results 1 – 3 of 3) sorted by relevance
45 u32 host_ia32_sysenter_cs; member496 *value = current_evmcs->host_ia32_sysenter_cs; in evmcs_vmread()967 current_evmcs->host_ia32_sysenter_cs = value; in evmcs_vmwrite()
202 u32 host_ia32_sysenter_cs;
1755 vmcs12->host_ia32_sysenter_cs = evmcs->host_ia32_sysenter_cs; in copy_enlightened_to_vmcs12()4819 vmcs_write32(GUEST_SYSENTER_CS, vmcs12->host_ia32_sysenter_cs); in load_vmcs12_host_state()