d1/de4/userret_8c_source.html

 #include <xinu.h>

 void userret(void)
 {
     kill(getpid()); /* Force process to exit */
 }
xinu.h
全てのシステムヘッダファイルをインクルードする。

kill
syscall kill(pid32)
指定のプロセスを終了させ、システムから終了させたプロセス情報を取り除く。
Definition: kill.c:31

userret
void userret(void)
プロセスが最上位の関数に戻る時に呼ばれる。現在のプロセスを終了させる。
Definition: userret.c:11

getpid
pid32 getpid(void)
現在実行中のプロセスIDを返す。
Definition: getpid.c:11