Xlinx 裸机编程 Dcahe 问题

#include
#include "platform.h"
#include "xil_printf.h"
#include "sleep.h"
#include "Xil_cache.h"

#define DDR_ADDR 0x30000000

int main()
{
    while(1)
    {
        Xil_DCacheInvalidateRange((UINTPTR)DDR_ADDR,0x10000);
        sleep(1);
    }
    return 0;
}