pub fn create_thread( task_id: TaskId, entry: extern "C" fn(), fin: Option<extern "C" fn() -> !>, timing: Timing, ) -> Result<ThreadUId, KernelError>