Searched refs:tsd_base (Results 1 – 6 of 6) sorted by relevance
892 mach_vm_offset_t tsd_base) in machine_thread_set_tsd_base() argument900 if (!IS_USERADDR64_CANONICAL(tsd_base)) { in machine_thread_set_tsd_base()901 tsd_base = 0ULL; in machine_thread_set_tsd_base()904 if (tsd_base > UINT32_MAX) { in machine_thread_set_tsd_base()905 tsd_base = 0ULL; in machine_thread_set_tsd_base()910 pcb->cthread_self = tsd_base; in machine_thread_set_tsd_base()917 .base_low = tsd_base & 0xffff, in machine_thread_set_tsd_base()918 .base_med = (tsd_base >> 16) & 0xff, in machine_thread_set_tsd_base()919 .base_high = (tsd_base >> 24) & 0xff, in machine_thread_set_tsd_base()937 wrmsr64(MSR_IA32_KERNEL_GS_BASE, tsd_base); in machine_thread_set_tsd_base()[all …]
1375 mach_vm_offset_t tsd_base) in machine_thread_set_tsd_base() argument1382 if (tsd_base > vm_map_max(thread->map)) { in machine_thread_set_tsd_base()1383 tsd_base = 0ULL; in machine_thread_set_tsd_base()1386 if (tsd_base > UINT32_MAX) { in machine_thread_set_tsd_base()1387 tsd_base = 0ULL; in machine_thread_set_tsd_base()1391 thread->machine.cthread_self = tsd_base; in machine_thread_set_tsd_base()1396 set_tpidrro(tsd_base); in machine_thread_set_tsd_base()
64 extern void _thread_set_tsd_base(void *tsd_base);
1053 mach_vm_offset_t tsd_base) in thread_set_tsd_base() argument1071 result = machine_thread_set_tsd_base(thread, tsd_base); in thread_set_tsd_base()1080 result = machine_thread_set_tsd_base(thread, tsd_base); in thread_set_tsd_base()
1317 mach_vm_offset_t tsd_base);1521 mach_vm_offset_t tsd_base);
271 kern_return_t (*thread_set_tsd_base)(thread_t thread, mach_vm_offset_t tsd_base);