Searched refs:GUEST_BASE_CS (Results 1 – 3 of 3) sorted by relevance
343 GUEST_BASE_CS = 0x6808ul, enumerator
214 { MASK_NATURAL, GUEST_BASE_CS },1191 vmcs_write(GUEST_BASE_CS, 0); in init_vmcs_guest()
8058 TEST_SEGMENT_BASE_ADDR_UPPER_BITS(true, GUEST_BASE_CS); in test_guest_segment_base_addr_fields()