#include <stdint.h>
#include <stddef.h>
#include <stdio.h>

// uint32_t  Xil_In32(uint32_t  Addr);
// void Xil_Out32(uint32_t Addr, uint32_t Value);


uint32_t Xil_In32(uintptr_t Addr)
{
	return *(volatile uint32_t *) Addr;
}

void Xil_Out32(uintptr_t Addr, uint32_t Value)
{
	/* write 32 bit value to specified address */
	volatile uint32_t *LocalAddr = (volatile uint32_t *)Addr;
	*LocalAddr = Value;
}