void ssp_drc_end(void){}
#endif
+#define COUNT_OP
#include "../../../cpu/drc/emit_arm.c"
// -----------------------------------------------------
exit(0);
#endif
- handle_caches();
+#ifdef ARM
+ cache_flush_d_inval_i(tcache, tcache_ptr);
+#endif
return block_start;
}