SOCFPGA_RSTMGR_CTRL   74 arch/arm/mach-socfpga/socfpga.c 	temp = readl(rst_manager_base_addr + SOCFPGA_RSTMGR_CTRL);
SOCFPGA_RSTMGR_CTRL   80 arch/arm/mach-socfpga/socfpga.c 	writel(temp, rst_manager_base_addr + SOCFPGA_RSTMGR_CTRL);