software/libbase/system.c

   1 #include <irq.h>
   2 #include <uart.h>
   3
   4 #include <system.h>
   5
   6 void flush_cpu_icache(void)
   7 {
   8         asm volatile(
   9                 "wcsr ICC, r0\n"
  10                 "nop\n"
  11                 "nop\n"
  12                 "nop\n"
  13                 "nop\n"
  14         );
  15 }
  16
  17 void flush_cpu_dcache(void)
  18 {
  19         asm volatile(
  20                 "wcsr DCC, r0\n"
  21                 "nop\n"
  22         );
  23 }