Searched refs:selector_saved (Results 1 – 1 of 1) sorted by relevance
7653 u16 selector_saved; in test_host_segment_regs() local7676 selector_saved = vmcs_read(HOST_SEL_SS); in test_host_segment_regs()7686 vmcs_write(HOST_SEL_SS, selector_saved); in test_host_segment_regs()