Searched refs:dpdovrcr4 (Results 1 – 1 of 1) sorted by relevance
380 u32 __iomem *dpdovrcr4 = (void *)(CONFIG_SYS_DCSRBAR + 0x21e80); in fsl_erratum_a007212_workaround() local418 setbits_be32(dpdovrcr4, 0xe0000000); in fsl_erratum_a007212_workaround()434 clrbits_be32(dpdovrcr4, 0xe0000000); in fsl_erratum_a007212_workaround()