付録B　 浮動小数点演算機能

 #include <machine.h>    // コンパイラ提供の組み込み関数get_fpsw(), set_fpsw()を使用する

                         // ために，machine.hをインクルード

 #include "kernel.h"

 #include "kernel_id.h"

 void handler（void）

 {

     unsigned long old_fpsw;    // FPSWレジスタを退避するための変数を宣言

     old_fpsw = get_fpsw（）;    // FPSWレジスタを退避

     set_fpsw（0x00000100）;     // 必要ならFPSWを初期化

     /* 浮動小数点演算処理 */  

     set_fpsw（old_fpsw）;       // FPSWレジスタを復帰

 }