Searched refs:GUEST_SEL_TR (Results 1 – 3 of 3) sorted by relevance
205 GUEST_SEL_TR = 0x080eul, enumerator
106 { MASK(16), GUEST_SEL_TR },1188 vmcs_write(GUEST_SEL_TR, TSS_MAIN); in init_vmcs_guest()
7936 sel_saved = vmcs_read(GUEST_SEL_TR); in test_guest_segment_sel_fields()7937 TEST_INVALID_SEG_SEL(GUEST_SEL_TR, sel_saved | GUEST_SEG_SEL_TI_MASK); in test_guest_segment_sel_fields()7938 vmcs_write(GUEST_SEL_TR, sel_saved); in test_guest_segment_sel_fields()