SOCFPGA_RSTMGR_CTRL
temp = readl(rst_manager_base_addr + SOCFPGA_RSTMGR_CTRL);
writel(temp, rst_manager_base_addr + SOCFPGA_RSTMGR_CTRL);