Searched refs:GUEST_BASE_DS (Results 1 – 3 of 3) sorted by relevance
345 GUEST_BASE_DS = 0x680cul, enumerator
216 { MASK_NATURAL, GUEST_BASE_DS },1194 vmcs_write(GUEST_BASE_DS, 0); in init_vmcs_guest()
8071 TEST_SEGMENT_BASE_ADDR_UPPER_BITS(false, GUEST_BASE_DS); in test_guest_segment_base_addr_fields()8074 TEST_SEGMENT_BASE_ADDR_UPPER_BITS(true, GUEST_BASE_DS); in test_guest_segment_base_addr_fields()