SLCR_REBOOT_STATUS_OFFSET
zynq_slcr_read(&reboot, SLCR_REBOOT_STATUS_OFFSET);
zynq_slcr_write(reboot & 0xF0FFFFFF, SLCR_REBOOT_STATUS_OFFSET);
state = readl(zynq_slcr_base + SLCR_REBOOT_STATUS_OFFSET);
state = readl(zynq_slcr_base + SLCR_REBOOT_STATUS_OFFSET);
writel(state, zynq_slcr_base + SLCR_REBOOT_STATUS_OFFSET);