HOST_TR_SELECTOR
EVMCS1_FIELD(HOST_TR_SELECTOR, host_tr_selector,
FIELD(HOST_TR_SELECTOR, host_tr_selector),
vmcs_write16(HOST_TR_SELECTOR, GDT_ENTRY_TSS*8); /* 22.2.4 */
vmcs_read16(HOST_TR_SELECTOR));
case HOST_TR_SELECTOR:
case HOST_TR_SELECTOR:
vmwrite(HOST_TR_SELECTOR, get_tr());
vmwrite(GUEST_TR_SELECTOR, vmreadz(HOST_TR_SELECTOR));