8 __attribute__((unused
)) static void flush_cpu_icache(void){}; /* FIXME: do something useful here! */
9 __attribute__((unused
)) static void flush_cpu_dcache(void){}; /* FIXME: do something useful here! */
10 void flush_l2_cache(void);
12 void busy_wait(unsigned int ms
);
18 #endif /* __SYSTEM_H */