* Corrupted registers: x0-x7, x9-x11
*/
ENTRY(__flush_dcache_all)
+#ifndef CONFIG_DENVER_CPU
dsb sy // ensure ordering with previous memory accesses
mrs x0, clidr_el1 // read clidr
and x3, x0, #0x7000000 // extract loc from clidr
lsr x3, x3, #23 // left align loc bit field
v8_op_dcache_all cisw
+#else
+ dsb sy // ensure ordering with previous memory accesses
+ mrs x0, clidr_el1 // read clidr
+ and x3, x0, #0x7000000 // extract loc from clidr
+ lsr x3, x3, #23 // left align loc bit field
+
+ v8_op_dcache_all csw
+
+ dsb sy // ensure ordering with previous memory accesses
+ mrs x0, clidr_el1 // read clidr
+ and x3, x0, #0x7000000 // extract loc from clidr
+ lsr x3, x3, #23 // left align loc bit field
+
+ v8_op_dcache_all isw
+#endif
ENDPROC(__flush_dcache_all)
/*