Searched refs:GUEST_BASE_SS (Results 1 – 3 of 3) sorted by relevance
344 GUEST_BASE_SS = 0x680aul, enumerator
215 { MASK_NATURAL, GUEST_BASE_SS },1193 vmcs_write(GUEST_BASE_SS, 0); in init_vmcs_guest()
8062 TEST_SEGMENT_BASE_ADDR_UPPER_BITS(false, GUEST_BASE_SS); in test_guest_segment_base_addr_fields()8065 TEST_SEGMENT_BASE_ADDR_UPPER_BITS(true, GUEST_BASE_SS); in test_guest_segment_base_addr_fields()