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