-/* Support for the MCCR register (Cache Control Register) is needed in order
- for overlays to work correctly with the scache: cached instructions need
- to be flushed when the instruction space is changed at runtime. */
-
-/* These were just copied from another port and are necessary to build, but
- but don't appear to be used. */
-#define MCCR_ADDR 0xffffffff
-#define MCCR_CP 0x80
-/* not supported */
-#define MCCR_CM0 2
-#define MCCR_CM1 1
-
-/* sim_core_attach device argument. */
-extern device frv_devices;
-
-/* FIXME: Temporary, until device support ready. */
-struct _device { int foo; };
-