Searched refs:GUEST_BASE_ES (Results 1 – 3 of 3) sorted by relevance
342 GUEST_BASE_ES = 0x6806ul, enumerator
213 { MASK_NATURAL, GUEST_BASE_ES },1192 vmcs_write(GUEST_BASE_ES, 0); in init_vmcs_guest()
8080 TEST_SEGMENT_BASE_ADDR_UPPER_BITS(false, GUEST_BASE_ES); in test_guest_segment_base_addr_fields()8083 TEST_SEGMENT_BASE_ADDR_UPPER_BITS(true, GUEST_BASE_ES); in test_guest_segment_base_addr_fields()