Searched refs:GUEST_BASE_GS (Results 1 – 3 of 3) sorted by relevance
347 GUEST_BASE_GS = 0x6810ul, enumerator
218 { MASK_NATURAL, GUEST_BASE_GS },1196 vmcs_write(GUEST_BASE_GS, rdmsr(MSR_GS_BASE)); in init_vmcs_guest()
8044 TEST_SEGMENT_BASE_ADDR_CANONICAL(true, GUEST_BASE_GS); in test_guest_segment_base_addr_fields()