d2/d9b/xdone_8c_source.html

 #include <xinu.h>

 void xdone(void)
 {
     kprintf("\n\nAll user processes have completed.\n\n");
     halt(); /* Halt the processor       */
 }
kprintf
syscall kprintf(char *fmt,...)
ポーリングI/Oを使用して、フォーマットされた文字列をコンソールに出力する。
Definition: kprintf.c:98

xinu.h
全てのシステムヘッダファイルをインクルードする。

halt
void halt(void)
システムを停止させる（intr.Sに定義がある）

xdone
void xdone(void)
最終プロセスの終了時、システム終了メッセージを表示する。
Definition: xdone.c:10