#include <stdio.h>
#include "platform.h"
#include "xparameters.h"
#include "xil_io.h"


int main()
{

	int word1;

	word1 = Xil_In32(0x400C0000);
	
	xil_printf("\n");
		xil_printf("value is : %x \n \r", word1);


    return 0;
}