程序代码：

#include "xtime_l.h"  包含这个头文件
int main() 
{
 XTime tEnd, tbegin;
 u32 tused;

	 XTime_GetTime(&tbegin);
     *******test_code*****************
     *******test_code*****************
     *******test_code*****************
	 XTime_GetTime(&tEnd);
    tused = ((tEnd-tbegin)*1000000)/(COUNTS_PER_SECOND);
	 xil_printf("time elapsed is %d us\r\n",tused);
}

COUNTS_PER_SECOND是板子的输入时钟 ，我用的是 50Mhz,10^6把单位转换成us
XTime_GetTime（）读取的是计数器里面的时钟节拍数，两个节点之间的节拍数的差值乘以时钟周期就是，两个节点之间的运行时间。