puts("crc - compute CRC32 of a part of the address space");
puts("ident - display identifier");
puts("");
+ puts("flush_cpu_dcache - flush CPU data cache");
+#ifdef CONFIG_L2_SIZE
+ puts("flush_l2_cache - flush L2 cache");
+#endif
+ puts("");
#ifdef CSR_CTRL_BASE
puts("reboot - reset processor");
#endif
else if(strcmp(token, "crc") == 0) crc(get_token(&c), get_token(&c));
else if(strcmp(token, "ident") == 0) ident();
+ else if(strcmp(token, "flush_cpu_dcache") == 0) flush_cpu_dcache();
#ifdef CONFIG_L2_SIZE
- else if(strcmp(token, "flushl2") == 0) flush_l2_cache();
+ else if(strcmp(token, "flush_l2_cache") == 0) flush_l2_cache();
#endif
+
#ifdef CSR_CTRL_BASE
else if(strcmp(token, "reboot") == 0) reboot();
#endif