#include "xbasic_types.h"
#include "xparameters.h"
#include "../core_info.h"
#include <stdio.h>
#include <stdlib.h>

void dump_data (int argc, char **argv)
/* command = "dump_data"                                              */
/* help    = "dumps the data from block ram 'bram'"                    */
/* params  = "<none>" */
{
	Xuint32 i, value0, value1;
	for(i=0; i<32; i++){
		//read from bram1
		value0 = sif_bram_read(XPAR_SPEC_DEMO_1_SHARED_BRAM_BASEADDR, i);
		//read from bram2
		value1 = sif_bram_read(XPAR_SPEC_DEMO_1_SHARED_BRAM1_BASEADDR, i);
		//send it to the serial port
	  xil_printf("%08d %08d\n\r", 2*i, value0);
	  xil_printf("%08d %08d\n\r", 2*i+1, value1);
	}
}