Searched refs:HOST_IA32_SYSENTER_CS (Results 1 – 2 of 2) sorted by relevance
194 HOST_IA32_SYSENTER_CS = 0x00004c00, enumerator
2704 vmcs_write32(HOST_IA32_SYSENTER_CS, host_sysenter_cs); in vmx_vcpu_setup()