Lines Matching defs:tsd_base
439 mach_vm_offset_t tsd_base)
448 if (!IS_USERADDR64_CANONICAL(tsd_base))
449 tsd_base = 0ULL;
451 if (tsd_base > UINT32_MAX)
452 tsd_base = 0ULL;
456 pcb->cthread_self = tsd_base;
463 .base_low = tsd_base & 0xffff,
464 .base_med = (tsd_base >> 16) & 0xff,
465 .base_high = (tsd_base >> 24) & 0xff,
484 wrmsr64(MSR_IA32_KERNEL_GS_BASE, tsd_base);
485 cdp->cpu_uber.cu_user_gs_base = tsd_base;