Searched refs:GUEST_SS_SELECTOR (Results 1 – 3 of 3) sorted by relevance
369 GUEST_SS_SELECTOR = 0x00000804, enumerator
847 GUEST_SS_SELECTOR,935 {HOST_SS_SELECTOR, GUEST_SS_SELECTOR},
1816 vmx_dump_sel(" SS", GUEST_SS_SELECTOR); in vmcs_dump_vcpu()
Completed in 12 milliseconds