os_curcpu_tss_sel
uint16 os_curcpu_tss_sel();
vmx_vmwrite(VMCS_HOST_TR_SELECTOR, os_curcpu_tss_sel());