ｖｘTimeBaseGet

文書化されていない関数
Q: Is there a high-speed clock available?
A: As you're using a PowerPC, vxLib.h defines an undocumented function
　 (actually given in arch/ppc/vxPpcLib.h)
IMPORT void vxTimeBaseGet (UINT32 * pTbu, UINT32 * pTbl);
---->
#include <vxLib.h>
#include

UINT32 start_hi,start_lo;
UINT32 hi,lo;

vxTimeBaseGet(&start_hi, &start_lo);

for(w_i=0; w_i<LIMIT_LOOP; w_i++) {
printf("Hello World #%d\n",w_i);
}

vxTimeBaseGet(&hi, &lo);

printf("hi = %u lo = %u\n",
hi - start_hi,
lo - start_lo);
【秒換算】
（High値×4294967296＋Low値）／666,666,666（周波数）
※4294967296…Low値(32bit)の桁上がり。
<----


http://www.xs4all.nl/~borkhuis/vxworks/vxw_pt2.html