Searched refs:GUEST_SS_SELECTOR (Results 1 – 2 of 2) sorted by relevance
92 GUEST_SS_SELECTOR = 0x00000804, enumerator
1715 vmcs_write16(GUEST_SS_SELECTOR, 0); in enter_pmode()1800 vmcs_write16(GUEST_SS_SELECTOR, vmcs_readl(GUEST_SS_BASE) >> 4); in enter_rmode()