GUEST_TR_SELECTOR
EVMCS1_FIELD(GUEST_TR_SELECTOR, guest_tr_selector,
vmcs_write16(GUEST_TR_SELECTOR, vmcs12->guest_tr_selector);
case GUEST_TR_SELECTOR:
vmcs12->guest_tr_selector = vmcs_read16(GUEST_TR_SELECTOR);
FIELD(GUEST_TR_SELECTOR, guest_tr_selector),
vmcs_write16(GUEST_TR_SELECTOR, 0);
vmx_dump_sel("TR: ", GUEST_TR_SELECTOR);
case GUEST_TR_SELECTOR:
case GUEST_TR_SELECTOR:
vmwrite(GUEST_TR_SELECTOR, vmreadz(HOST_TR_SELECTOR));