unit pthreads_cpuinheritance = {

imports[ malloc : Malloc_T env : GetEnv_T panic : Panic_T stdout : Stdout_T string : String_T sprintf : Sprintf_T fd : PosixFD_T in : { base_irq_nest osenv_process_locked oskit_deliver_pending_signals oskit_pthread_childtime oskit_pthread_cleanup_push oskit_pthread_sleep pthread_create pthread_exit pthread_exit_locked pthread_lock_debug pthread_self pthread_testcancel thread_switch threads_curthreads threads_idlethreads threads_preempt_enable threads_preempt_needed threads_preempt_ready threads_switch_mode threads_tidtothread } ]; exports[ out : { bootstrap_root_scheduler cpuinherit_debug cpuprintf create_fixedpri_scheduler create_lotto_scheduler create_ratemono_scheduler create_stride_scheduler fixedpri_schedloop lotto_schedloop lotto_thread_init msg_sched_flagnames msg_sched_rcodes msg_sched_typenames pthread_init_scheduler pthread_sched_reschedule pthread_sched_setrunnable pthread_sched_change_state pthread_sched_handoff threads_tidtothread pthread_root_scheduler pthread_sched_become_scheduler pthread_sched_clocktick pthread_sched_dispatch pthread_sched_donate_wait_recv pthread_sched_message_recv pthread_sched_message_send pthread_sched_recv_cancel pthread_sched_recv_unwait pthread_sched_recv_wait pthread_sched_setstate pthread_sched_special_send pthread_sched_switchto pthread_sched_thread_donate pthread_sched_thread_wait pthread_sched_wakeup ratemono_schedloop ratemono_thread_init schedmsg_queue_allocate schedmsg_queue_deallocate stride_schedloop stride_thread_init } ]; ...

}