Here is a list of all related documentation pages:

00-arm32bit	ARM (32bit)の基本情報
01-ctxsw	ARM (32bit)用のコンテキストスイッチを行う。
02-IRQ-enable_disable	割り込み（IRQ）を許可／禁止する。
03-restore	引数で指定された割り込みマスク値に cpsr レジスタを復元する。
04-halt	CPU をハードループ（Dead ループ）状態とし、システムを停止させる。