GUEST_SS_SELECTOR
EVMCS1_FIELD(GUEST_SS_SELECTOR, guest_ss_selector,
vmcs_write16(GUEST_SS_SELECTOR, vmcs12->guest_ss_selector);
case GUEST_SS_SELECTOR:
vmcs12->guest_ss_selector = vmcs_read16(GUEST_SS_SELECTOR);
FIELD(GUEST_SS_SELECTOR, guest_ss_selector),
vmx_dump_sel("SS: ", GUEST_SS_SELECTOR);
case GUEST_SS_SELECTOR:
case GUEST_SS_SELECTOR:
vmwrite(GUEST_SS_SELECTOR, vmreadz(HOST_SS_SELECTOR));