Searched refs:pcpu_data_base (Results 1 – 7 of 7) sorted by relevance
90 vm_offset_t base = old->machine.pcpu_data_base; in machine_thread_switch_cpu_data()98 old->machine.pcpu_data_base = -1; in machine_thread_switch_cpu_data()101 new->machine.pcpu_data_base = base; in machine_thread_switch_cpu_data()149 return thread->machine.pcpu_data_base != -1; in machine_thread_on_core()166 thread->machine.pcpu_data_base = -1; in machine_thread_create()
162 vm_offset_t pcpu_data_base; member
428 thread->machine.pcpu_data_base = (vm_offset_t)0; in arm_init()
436 first_thread->machine.pcpu_data_base = in cpu_start()
814 return current_thread()->machine.pcpu_data_base; in current_percpu_base()
104 vm_offset_t base = old->machine.pcpu_data_base; in machine_thread_switch_cpu_data()109 old->machine.pcpu_data_base = 0; in machine_thread_switch_cpu_data()112 new->machine.pcpu_data_base = base; in machine_thread_switch_cpu_data()215 thread->machine.pcpu_data_base = (vm_offset_t)VM_MIN_KERNEL_ADDRESS; in machine_thread_create()
929 first_thread->machine.pcpu_data_base = in cpu_start()