|
@@ -39,6 +39,7 @@ extern void socfpga_sysmgr_init(void);
|
|
void socfpga_init_l2_ecc(void);
|
|
void socfpga_init_l2_ecc(void);
|
|
void socfpga_init_ocram_ecc(void);
|
|
void socfpga_init_ocram_ecc(void);
|
|
void socfpga_init_arria10_l2_ecc(void);
|
|
void socfpga_init_arria10_l2_ecc(void);
|
|
|
|
+void socfpga_init_arria10_ocram_ecc(void);
|
|
|
|
|
|
extern void __iomem *sys_manager_base_addr;
|
|
extern void __iomem *sys_manager_base_addr;
|
|
extern void __iomem *rst_manager_base_addr;
|
|
extern void __iomem *rst_manager_base_addr;
|