Searched refs:GUEST_BASE_TR (Results 1 – 3 of 3) sorted by relevance
349 GUEST_BASE_TR = 0x6814ul, enumerator
220 { MASK_NATURAL, GUEST_BASE_TR },1197 vmcs_write(GUEST_BASE_TR, get_gdt_entry_base(tss_descr)); in init_vmcs_guest()
8042 TEST_SEGMENT_BASE_ADDR_CANONICAL(true, GUEST_BASE_TR); in test_guest_segment_base_addr_fields()