こいさんさん 杉本です． 1) の場合ですが，割込み発生前に動作していたタスクに 戻るため，割込み優先度マスクは必ず0になります．ちょうど lock_flagを0にする処理が入るのでレジスタの値を再利用しているだけです． 2) では多重割込みの可能性があるので，割込み入り口で保存した 割込み優先度マスクを戻してから割込みリターンしています． ですので誤りではありません． 以上，よろしくお願いします．