生成と遷移を追跡してカーネルスレッドのライフサイクルを追跡する方法は？

生成と遷移を追跡してカーネルスレッドのライフサイクルを追跡する方法は？

kernel_thread() と Schedule() は私が知っていますが、実装方法を知らない2つの関数です。