Xilinx MicroBlaze定时器代码

以下是Xilinx MicroBlaze定时器的代码示例：

#include <stdio.h>
#include "platform.h"
#include "xil_printf.h"
#include "xparameters.h"
#include "xtmrctr.h"

#define TIMER_DEVICE_ID XPAR_TMRCTR_0_DEVICE_ID
#define TIMER_COUNTER_0 0

XTmrCtr TimerCounterInst;

int main()
{
    init_platform();

    int Status;
    u32 Value;

    Status = XTmrCtr_Initialize(&TimerCounterInst, TIMER_DEVICE_ID);
    if (Status != XST_SUCCESS) {
        xil_printf("Timer init failed\n\r");
        return XST_FAILURE;
    }

    XTmrCtr_SetResetValue(&TimerCounterInst, TIMER_COUNTER_0, 0xFFFFFFFF);
    XTmrCtr_Start(&TimerCounterInst, TIMER_COUNTER_0);

    while (1) {
        Value = XTmrCtr_GetValue(&TimerCounterInst, TIMER_COUNTER_0);
        xil_printf("Timer value: %d\n\r", Value);
    }

    cleanup_platform();
    return 0;
}

该代码使用了Xilinx提供的XTmrCtr库来控制MicroBlaze的定时器。在初始化定时器后，使用`XTmrCtr_SetResetValue`函数设置定时器的重置值，然后使用`XTmrCtr_Start`函数启动定时器。在while循环中，使用`XTmrCtr_GetValue`函数获取当前定时器的值，并输出到终端。