vivado sdk怎么记录当前系统时间

在 Vivado SDK 中，你可以使用 `XTime_GetTime()` 函数来获取当前的 CPU 时钟计数器值。然后，你可以将其转换为实际时间或日期。下面是一个简单的代码示例，它演示了如何获取当前系统时间：

#include "xtime_l.h"

int main()
{
    XTime current_time;

    XTime_GetTime(&current_time);

    // 将当前时间转换为秒
    double seconds = (double)current_time / (double)COUNTS_PER_SECOND;

    // 打印当前时间
    printf("Current time: %f seconds\n", seconds);

    return 0;
}

注意：在使用 `XTime_GetTime()` 函数之前，你需要先调用 `XTime_GetTime()` 函数来初始化计时器。在这个例子中，我们假设 `COUNTS_PER_SECOND` 的值已经被定义为一个常量。