NVMM_X64_SEG_TR
[NVMM_X64_SEG_TR] = {
svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_TR],
svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_TR],
vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_TR);
vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_TR);
[NVMM_X64_SEG_TR] = {
init_seg(&state->segs[NVMM_X64_SEG_TR], SDT_SYS386BSY, 0);
init_seg(&state->segs[NVMM_X64_SEG_TR], SDT_SYS386BSY, 0);