Lines Matching +full:socfpga +full:- +full:a10 +full:- +full:ecc +full:- +full:manager
1 // SPDX-License-Identifier: GPL-2.0-only
11 /* A10 System Manager L2 ECC Control register */
15 /* A10 System Manager Global IRQ Mask register */
19 /* A10 System Manager L2 ECC IRQ Clear register */
28 np = of_find_compatible_node(NULL, NULL, "altr,socfpga-l2-ecc"); in socfpga_init_l2_ecc()
30 pr_err("Unable to find socfpga-l2-ecc in dtb\n"); in socfpga_init_l2_ecc()
37 pr_err("Unable to find L2 ECC mapping in dtb\n"); in socfpga_init_l2_ecc()
41 /* Enable ECC */ in socfpga_init_l2_ecc()
52 np = of_find_compatible_node(NULL, NULL, "altr,socfpga-a10-l2-ecc"); in socfpga_init_arria10_l2_ecc()
54 pr_err("Unable to find socfpga-a10-l2-ecc in dtb\n"); in socfpga_init_arria10_l2_ecc()
61 pr_err("Unable to find L2 ECC mapping in dtb\n"); in socfpga_init_arria10_l2_ecc()
66 pr_err("System Manager not mapped for L2 ECC\n"); in socfpga_init_arria10_l2_ecc()
72 /* Enable ECC */ in socfpga_init_arria10_l2_ecc()