特殊目的レジスタ 527 (Alt Time Base レジスタ上位) をリセット (0 に設定) する必要があります。しかし、この関数 sysAltTimeBaseUreset は VxWorks ターゲットの PowerPC (Freescale P2020) をクラッシュさせます。
FUNC_BEGIN(sysAltTimeBaseUreset)
mtspr 527, 0x0000 /* reset high 32-bits of Alt. Time Base register */
bclr 20,0 /* Return to caller */
FUNC_END(sysAltTimeBaseUreset)
次の関数は問題なく動作し、AltTimeBase 上位レジスタの内容を返します。
FUNC_BEGIN(sysAltTimeBaseUGet)
mfspr r3, 527 /* high 32-bits of Alt. Time Base register */
bclr 20,0 /* Return to caller */
FUNC_END(sysAltTimeBaseUGet)