Searched refs:GUEST_CS_SELECTOR (Results 1 – 2 of 2) sorted by relevance
91 GUEST_CS_SELECTOR = 0x00000802, enumerator
1718 vmcs_write16(GUEST_CS_SELECTOR, in enter_pmode()1719 vmcs_read16(GUEST_CS_SELECTOR) & ~SELECTOR_RPL_MASK); in enter_pmode()1808 vmcs_write16(GUEST_CS_SELECTOR, vmcs_readl(GUEST_CS_BASE) >> 4); in enter_rmode()2119 return vmcs_read16(GUEST_CS_SELECTOR) & 3; in vmx_get_cpl()2784 vmcs_write16(GUEST_CS_SELECTOR, 0xf000); in vmx_vcpu_reset()2787 vmcs_write16(GUEST_CS_SELECTOR, vmx->vcpu.arch.sipi_vector << 8); in vmx_vcpu_reset()