Lines Matching refs:__pure2
1376 extern integer_t thread_kern_get_pri(thread_t thr) __pure2;
1380 extern integer_t thread_kern_get_kernel_maxpri(void) __pure2;
1575 extern task_t get_threadtask(thread_t) __pure2;
1577 extern task_t get_threadtask_early(thread_t) __pure2;
1603 extern thread_ro_t get_thread_ro_unchecked(thread_t) __pure2;
1604 extern thread_ro_t get_thread_ro(thread_t) __pure2;
1605 extern thread_ro_t current_thread_ro_unchecked(void) __pure2;
1606 extern thread_ro_t current_thread_ro(void) __pure2;
1608 extern struct uthread *get_bsdthread_info(thread_t) __pure2;
1609 extern thread_t get_machthread(struct uthread *) __pure2;
1610 extern uint64_t uthread_tid(struct uthread *) __pure2;
1622 extern bool uthread_is64bit(struct uthread *uth) __pure2;
1958 extern thread_t current_thread(void) __pure2;
1961 extern uint64_t thread_tid(thread_t thread) __pure2;