HOST_SS_SELECTOR
EVMCS1_FIELD(HOST_SS_SELECTOR, host_ss_selector,
FIELD(HOST_SS_SELECTOR, host_ss_selector),
vmcs_write16(HOST_SS_SELECTOR, __KERNEL_DS); /* 22.2.4 */
vmcs_read16(HOST_CS_SELECTOR), vmcs_read16(HOST_SS_SELECTOR),
case HOST_SS_SELECTOR:
case HOST_SS_SELECTOR:
vmwrite(HOST_SS_SELECTOR, get_ss());
vmwrite(GUEST_SS_SELECTOR, vmreadz(HOST_SS_SELECTOR));