Searched refs:dpdovrcr4 (Results 1 – 1 of 1) sorted by relevance
382 u32 __iomem *dpdovrcr4 = (void *)(CONFIG_SYS_DCSRBAR + 0x21e80); in fsl_erratum_a007212_workaround() local420 setbits_be32(dpdovrcr4, 0xe0000000); in fsl_erratum_a007212_workaround()436 clrbits_be32(dpdovrcr4, 0xe0000000); in fsl_erratum_a007212_workaround()
Completed in 3 milliseconds