#include <gccore.h>
#include <stdarg.h>
#include <stdio.h>
static void nstomem(u32 addr, int len, u32 *ar) {
	u32 *ptr = (u32 *) addr;
	u32 x;
	int n; for(n = 0; n < len; n++) {
		x = ar[n];
		printf("%08x: %08x --> %08x\\n", ptr, *ptr, x);
		*ptr = x;
		ptr++;
	}
	ICInvalidateRange(ptr, len * 4);
	DCFlushRange(ptr, len * 4);
    //sleep(1);
}