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