Searched refs:GUEST_CS_LIMIT (Results 1 – 2 of 2) sorted by relevance
178 GUEST_CS_LIMIT = 0x00004802, enumerator
505 FIELD(GUEST_CS_LIMIT, guest_cs_limit),2793 vmcs_write32(GUEST_CS_LIMIT, 0xffff); in enter_rmode()6470 vmcs_write32(GUEST_CS_LIMIT, vmcs12->guest_cs_limit);6880 vmcs12->guest_cs_limit = vmcs_read32(GUEST_CS_LIMIT);