daily update
[external/binutils.git] / sim / arm / armdefs.h
index 1e1f352..2942023 100644 (file)
@@ -13,8 +13,9 @@
  
     You should have received a copy of the GNU General Public License
     along with this program; if not, write to the Free Software
-    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
+    Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA. */
 
+#include "config.h"
 #include <stdio.h>
 #include <stdlib.h>
 
 #define HIGHLOW 2
 
 #ifndef __STDC__
-typedef char * VoidStar ;
+typedef char *VoidStar;
 #endif
 
-typedef unsigned long ARMword ; /* must be 32 bits wide */
-
-typedef struct ARMul_State ARMul_State ;
-
-typedef unsigned ARMul_CPInits(ARMul_State *state) ;
-typedef unsigned ARMul_CPExits(ARMul_State *state) ;
-typedef unsigned ARMul_LDCs(ARMul_State *state,unsigned type,ARMword instr,ARMword value) ;
-typedef unsigned ARMul_STCs(ARMul_State *state,unsigned type,ARMword instr,ARMword *value) ;
-typedef unsigned ARMul_MRCs(ARMul_State *state,unsigned type,ARMword instr,ARMword *value) ;
-typedef unsigned ARMul_MCRs(ARMul_State *state,unsigned type,ARMword instr,ARMword value) ;
-typedef unsigned ARMul_CDPs(ARMul_State *state,unsigned type,ARMword instr) ;
-typedef unsigned ARMul_CPReads(ARMul_State *state,unsigned reg,ARMword *value) ;
-typedef unsigned ARMul_CPWrites(ARMul_State *state,unsigned reg,ARMword value) ;
-
-struct ARMul_State {
-   ARMword Emulate ; /* to start and stop emulation */
-   unsigned EndCondition ; /* reason for stopping */
-   unsigned ErrorCode ; /* type of illegal instruction */
-   ARMword Reg[16] ; /* the current register file */
-   ARMword RegBank[7][16] ; /* all the registers */
-   ARMword Cpsr ; /* the current psr */
-   ARMword Spsr[7] ; /* the exception psr's */
-   ARMword NFlag, ZFlag, CFlag, VFlag, IFFlags ; /* dummy flags for speed */
+#ifdef HAVE_STDINT_H
+#include <stdint.h>
+typedef uint32_t ARMword;
+typedef int32_t ARMsword;
+typedef uint64_t ARMdword;
+typedef int64_t ARMsdword;
+#else
+typedef unsigned int ARMword;  /* must be 32 bits wide */
+typedef signed int ARMsword;
+typedef unsigned long long ARMdword;   /* Must be at least 64 bits wide.  */
+typedef signed long long ARMsdword;
+#endif
+typedef struct ARMul_State ARMul_State;
+
+typedef unsigned ARMul_CPInits (ARMul_State * state);
+typedef unsigned ARMul_CPExits (ARMul_State * state);
+typedef unsigned ARMul_LDCs (ARMul_State * state, unsigned type,
+                            ARMword instr, ARMword value);
+typedef unsigned ARMul_STCs (ARMul_State * state, unsigned type,
+                            ARMword instr, ARMword * value);
+typedef unsigned ARMul_MRCs (ARMul_State * state, unsigned type,
+                            ARMword instr, ARMword * value);
+typedef unsigned ARMul_MCRs (ARMul_State * state, unsigned type,
+                            ARMword instr, ARMword value);
+typedef unsigned ARMul_CDPs (ARMul_State * state, unsigned type,
+                            ARMword instr);
+typedef unsigned ARMul_CPReads (ARMul_State * state, unsigned reg,
+                               ARMword * value);
+typedef unsigned ARMul_CPWrites (ARMul_State * state, unsigned reg,
+                                ARMword value);
+
+struct ARMul_State
+{
+  ARMword Emulate;             /* to start and stop emulation */
+  unsigned EndCondition;       /* reason for stopping */
+  unsigned ErrorCode;          /* type of illegal instruction */
+  ARMword Reg[16];             /* the current register file */
+  ARMword RegBank[7][16];      /* all the registers */
+  /* 40 bit accumulator.  We always keep this 64 bits wide,
+     and move only 40 bits out of it in an MRA insn.  */
+  ARMdword Accumulator;
+  ARMword Cpsr;                        /* the current psr */
+  ARMword Spsr[7];             /* the exception psr's */
+  ARMword NFlag, ZFlag, CFlag, VFlag, IFFlags; /* dummy flags for speed */
+  ARMword SFlag;
 #ifdef MODET
-   ARMword TFlag ; /* Thumb state */
+  ARMword TFlag;               /* Thumb state */
 #endif
-   ARMword Bank ; /* the current register bank */
-   ARMword Mode ; /* the current mode */
-   ARMword instr, pc, temp ; /* saved register state */
-   ARMword loaded, decoded ; /* saved pipeline state */
-   unsigned long NumScycles,
-                 NumNcycles,
-                 NumIcycles,
-                 NumCcycles,
-                 NumFcycles ; /* emulated cycles used */
-   unsigned long NumInstrs ; /* the number of instructions executed */
-   unsigned NextInstr ;
-   unsigned VectorCatch ; /* caught exception mask */
-   unsigned CallDebug ; /* set to call the debugger */
-   unsigned CanWatch ; /* set by memory interface if its willing to suffer the
-                         overhead of checking for watchpoints on each memory
-                         access */
-   unsigned MemReadDebug, MemWriteDebug ;
-   unsigned long StopHandle ;
-
-   unsigned char *MemDataPtr ; /* admin data */
-   unsigned char *MemInPtr ; /* the Data In bus */
-   unsigned char *MemOutPtr ; /* the Data Out bus (which you may not need */
-   unsigned char *MemSparePtr ; /* extra space */
-   ARMword MemSize ;
-
-   unsigned char *OSptr ; /* OS Handle */
-   char *CommandLine ; /* Command Line from ARMsd */
-
-   ARMul_CPInits *CPInit[16] ; /* coprocessor initialisers */
-   ARMul_CPExits *CPExit[16] ; /* coprocessor finalisers */
-   ARMul_LDCs *LDC[16] ; /* LDC instruction */
-   ARMul_STCs *STC[16] ; /* STC instruction */
-   ARMul_MRCs *MRC[16] ; /* MRC instruction */
-   ARMul_MCRs *MCR[16] ; /* MCR instruction */
-   ARMul_CDPs *CDP[16] ; /* CDP instruction */
-   ARMul_CPReads *CPRead[16] ; /* Read CP register */
-   ARMul_CPWrites *CPWrite[16] ; /* Write CP register */
-   unsigned char *CPData[16] ; /* Coprocessor data */
-   unsigned char const *CPRegWords[16] ;  /* map of coprocessor register sizes */
-
-   unsigned EventSet ; /* the number of events in the queue */
-   unsigned long Now ; /* time to the nearest cycle */
-   struct EventNode **EventPtr ; /* the event list */
-
-   unsigned Exception ; /* enable the next four values */
-   unsigned Debug ; /* show instructions as they are executed */
-   unsigned NresetSig ; /* reset the processor */
-   unsigned NfiqSig ;
-   unsigned NirqSig ;
-
-   unsigned abortSig ;
-   unsigned NtransSig ;
-   unsigned bigendSig ;
-   unsigned prog32Sig ;
-   unsigned data32Sig ;
-   unsigned lateabtSig ;
-   ARMword Vector ; /* synthesize aborts in cycle modes */
-   ARMword Aborted ; /* sticky flag for aborts */
-   ARMword Reseted ; /* sticky flag for Reset */
-   ARMword Inted, LastInted ; /* sticky flags for interrupts */
-   ARMword Base ; /* extra hand for base writeback */
-   ARMword AbortAddr ; /* to keep track of Prefetch aborts */
-
-   const struct Dbg_HostosInterface *hostif;
-
-   int verbose; /* non-zero means print various messages like the banner */
- } ;
+  ARMword Bank;                        /* the current register bank */
+  ARMword Mode;                        /* the current mode */
+  ARMword instr, pc, temp;     /* saved register state */
+  ARMword loaded, decoded;     /* saved pipeline state */
+  unsigned long NumScycles, NumNcycles, NumIcycles, NumCcycles, NumFcycles;    /* emulated cycles used */
+  unsigned long NumInstrs;     /* the number of instructions executed */
+  unsigned NextInstr;
+  unsigned VectorCatch;                /* caught exception mask */
+  unsigned CallDebug;          /* set to call the debugger */
+  unsigned CanWatch;           /* set by memory interface if its willing to suffer the
+                                  overhead of checking for watchpoints on each memory
+                                  access */
+  unsigned MemReadDebug, MemWriteDebug;
+  unsigned long StopHandle;
+
+  unsigned char *MemDataPtr;   /* admin data */
+  unsigned char *MemInPtr;     /* the Data In bus */
+  unsigned char *MemOutPtr;    /* the Data Out bus (which you may not need */
+  unsigned char *MemSparePtr;  /* extra space */
+  ARMword MemSize;
+
+  unsigned char *OSptr;                /* OS Handle */
+  char *CommandLine;           /* Command Line from ARMsd */
+
+  ARMul_CPInits *CPInit[16];   /* coprocessor initialisers */
+  ARMul_CPExits *CPExit[16];   /* coprocessor finalisers */
+  ARMul_LDCs *LDC[16];         /* LDC instruction */
+  ARMul_STCs *STC[16];         /* STC instruction */
+  ARMul_MRCs *MRC[16];         /* MRC instruction */
+  ARMul_MCRs *MCR[16];         /* MCR instruction */
+  ARMul_CDPs *CDP[16];         /* CDP instruction */
+  ARMul_CPReads *CPRead[16];   /* Read CP register */
+  ARMul_CPWrites *CPWrite[16]; /* Write CP register */
+  unsigned char *CPData[16];   /* Coprocessor data */
+  unsigned char const *CPRegWords[16]; /* map of coprocessor register sizes */
+  unsigned long LastTime;      /* Value of last call to ARMul_Time() */
+  ARMword CP14R0_CCD;          /* used to count 64 clock cycles with CP14 R0 bit
+                                  3 set */
+
+  unsigned EventSet;           /* the number of events in the queue */
+  unsigned long Now;           /* time to the nearest cycle */
+  struct EventNode **EventPtr; /* the event list */
+
+  unsigned Exception;          /* enable the next four values */
+  unsigned Debug;              /* show instructions as they are executed */
+  unsigned NresetSig;          /* reset the processor */
+  unsigned NfiqSig;
+  unsigned NirqSig;
+
+  unsigned abortSig;
+  unsigned NtransSig;
+  unsigned bigendSig;
+  unsigned prog32Sig;
+  unsigned data32Sig;
+  unsigned lateabtSig;
+  ARMword Vector;              /* synthesize aborts in cycle modes */
+  ARMword Aborted;             /* sticky flag for aborts */
+  ARMword Reseted;             /* sticky flag for Reset */
+  ARMword Inted, LastInted;    /* sticky flags for interrupts */
+  ARMword Base;                        /* extra hand for base writeback */
+  ARMword AbortAddr;           /* to keep track of Prefetch aborts */
+
+  const struct Dbg_HostosInterface *hostif;
+
+  unsigned is_v4;              /* Are we emulating a v4 architecture (or higher) ?  */
+  unsigned is_v5;              /* Are we emulating a v5 architecture ?  */
+  unsigned is_v5e;             /* Are we emulating a v5e architecture ?  */
+  unsigned is_v6;              /* Are we emulating a v6 architecture ?  */
+  unsigned is_XScale;          /* Are we emulating an XScale architecture ?  */
+  unsigned is_iWMMXt;          /* Are we emulating an iWMMXt co-processor ?  */
+  unsigned is_ep9312;          /* Are we emulating a Cirrus Maverick co-processor ?  */
+  unsigned verbose;            /* Print various messages like the banner */
+};
 
 #define ResetPin NresetSig
 #define FIQPin NfiqSig
@@ -134,41 +163,30 @@ struct ARMul_State {
 #define LateAbortPin lateabtSig
 
 /***************************************************************************\
-*                        Types of ARM we know about                         *
+*                        Properties of ARM we know about                    *
 \***************************************************************************/
+
 /* The bitflags */
 #define ARM_Fix26_Prop   0x01
 #define ARM_Nexec_Prop   0x02
 #define ARM_Debug_Prop   0x10
 #define ARM_Isync_Prop   ARM_Debug_Prop
 #define ARM_Lock_Prop    0x20
-/* ARM2 family */
-#define ARM2    (ARM_Fix26_Prop)
-#define ARM2as  ARM2
-#define ARM61   ARM2
-#define ARM3    ARM2
-
-#ifdef ARM60   /* previous definition in armopts.h */
-#undef ARM60
-#endif
-
-/* ARM6 family */
-#define ARM6    (ARM_Lock_Prop)
-#define ARM60   ARM6
-#define ARM600  ARM6
-#define ARM610  ARM6
-#define ARM620  ARM6
+#define ARM_v4_Prop      0x40
+#define ARM_v5_Prop      0x80
+#define ARM_v5e_Prop     0x100
+#define ARM_XScale_Prop  0x200
+#define ARM_ep9312_Prop  0x400
+#define ARM_iWMMXt_Prop  0x800
+#define ARM_v6_Prop      0x1000
 
 /***************************************************************************\
 *                   Macros to extract instruction fields                    *
 \***************************************************************************/
 
-#define BIT(n) ( (ARMword)(instr>>(n))&1)   /* bit n of instruction */
-#define BITS(m,n) ( (ARMword)(instr<<(31-(n))) >> ((31-(n))+(m)) ) /* bits m to n of instr */
-#define TOPBITS(n) (instr >> (n)) /* bits 31 to n of instr */
+#define BIT(n) ( (ARMword)(instr>>(n))&1)      /* bit n of instruction */
+#define BITS(m,n) ( (ARMword)(instr<<(31-(n))) >> ((31-(n))+(m)) )     /* bits m to n of instr */
+#define TOPBITS(n) (instr >> (n))      /* bits 31 to n of instr */
 
 /***************************************************************************\
 *                      The hardware vector addresses                        *
@@ -182,7 +200,7 @@ struct ARMul_State {
 #define ARMAddrExceptnV 20L
 #define ARMIRQV 24L
 #define ARMFIQV 28L
-#define ARMErrorV 32L /* This is an offset, not an address ! */
+#define ARMErrorV 32L          /* This is an offset, not an address ! */
 
 #define ARMul_ResetV ARMResetV
 #define ARMul_UndefinedInstrV ARMUndefinedInstrV
@@ -197,16 +215,17 @@ struct ARMul_State {
 *                          Mode and Bank Constants                          *
 \***************************************************************************/
 
-#define USER26MODE 0L
-#define FIQ26MODE 1L
-#define IRQ26MODE 2L
-#define SVC26MODE 3L
-#define USER32MODE 16L
-#define FIQ32MODE 17L
-#define IRQ32MODE 18L
-#define SVC32MODE 19L
+#define USER26MODE   0L
+#define FIQ26MODE    1L
+#define IRQ26MODE    2L
+#define SVC26MODE    3L
+#define USER32MODE  16L
+#define FIQ32MODE   17L
+#define IRQ32MODE   18L
+#define SVC32MODE   19L
 #define ABORT32MODE 23L
 #define UNDEF32MODE 27L
+#define SYSTEMMODE  31L
 
 #define ARM32BITMODE (state->Mode > 3)
 #define ARM26BITMODE (state->Mode <= 3)
@@ -222,48 +241,55 @@ struct ARMul_State {
 #define ABORTBANK 4
 #define UNDEFBANK 5
 #define DUMMYBANK 6
+#define SYSTEMBANK USERBANK
+
+#define BANK_CAN_ACCESS_SPSR(bank)  \
+  ((bank) != USERBANK && (bank) != SYSTEMBANK && (bank) != DUMMYBANK)
 
 /***************************************************************************\
 *                  Definitons of things in the emulator                     *
 \***************************************************************************/
 
-extern void ARMul_EmulateInit(void) ;
-extern ARMul_State *ARMul_NewState(void) ;
-extern void ARMul_Reset(ARMul_State *state) ;
-extern ARMword ARMul_DoProg(ARMul_State *state) ;
-extern ARMword ARMul_DoInstr(ARMul_State *state) ;
+extern void ARMul_EmulateInit (void);
+extern ARMul_State *ARMul_NewState (void);
+extern void ARMul_Reset (ARMul_State * state);
+extern ARMword ARMul_DoProg (ARMul_State * state);
+extern ARMword ARMul_DoInstr (ARMul_State * state);
 
 /***************************************************************************\
 *                Definitons of things for event handling                    *
 \***************************************************************************/
 
-extern void ARMul_ScheduleEvent(ARMul_State *state, unsigned long delay, unsigned (*func)() ) ;
-extern void ARMul_EnvokeEvent(ARMul_State *state) ;
-extern unsigned long ARMul_Time(ARMul_State *state) ;
+extern void ARMul_ScheduleEvent (ARMul_State * state, unsigned long delay,
+                                unsigned (*func) ());
+extern void ARMul_EnvokeEvent (ARMul_State * state);
+extern unsigned long ARMul_Time (ARMul_State * state);
 
 /***************************************************************************\
 *                          Useful support routines                          *
 \***************************************************************************/
 
-extern ARMword ARMul_GetReg(ARMul_State *state, unsigned mode, unsigned reg) ;
-extern void ARMul_SetReg(ARMul_State *state, unsigned mode, unsigned reg, ARMword value) ;
-extern ARMword ARMul_GetPC(ARMul_State *state) ;
-extern ARMword ARMul_GetNextPC(ARMul_State *state) ;
-extern void ARMul_SetPC(ARMul_State *state, ARMword value) ;
-extern ARMword ARMul_GetR15(ARMul_State *state) ;
-extern void ARMul_SetR15(ARMul_State *state, ARMword value) ;
-
-extern ARMword ARMul_GetCPSR(ARMul_State *state) ;
-extern void ARMul_SetCPSR(ARMul_State *state, ARMword value) ;
-extern ARMword ARMul_GetSPSR(ARMul_State *state, ARMword mode) ;
-extern void ARMul_SetSPSR(ARMul_State *state, ARMword mode, ARMword value) ;
+extern ARMword ARMul_GetReg (ARMul_State * state, unsigned mode,
+                            unsigned reg);
+extern void ARMul_SetReg (ARMul_State * state, unsigned mode, unsigned reg,
+                         ARMword value);
+extern ARMword ARMul_GetPC (ARMul_State * state);
+extern ARMword ARMul_GetNextPC (ARMul_State * state);
+extern void ARMul_SetPC (ARMul_State * state, ARMword value);
+extern ARMword ARMul_GetR15 (ARMul_State * state);
+extern void ARMul_SetR15 (ARMul_State * state, ARMword value);
+
+extern ARMword ARMul_GetCPSR (ARMul_State * state);
+extern void ARMul_SetCPSR (ARMul_State * state, ARMword value);
+extern ARMword ARMul_GetSPSR (ARMul_State * state, ARMword mode);
+extern void ARMul_SetSPSR (ARMul_State * state, ARMword mode, ARMword value);
 
 /***************************************************************************\
 *                  Definitons of things to handle aborts                    *
 \***************************************************************************/
 
-extern void ARMul_Abort(ARMul_State *state, ARMword address) ;
-#define ARMul_ABORTWORD 0xefffffff /* SWI -1 */
+extern void ARMul_Abort (ARMul_State * state, ARMword address);
+#define ARMul_ABORTWORD 0xefffffff     /* SWI -1 */
 #define ARMul_PREFETCHABORT(address) if (state->AbortAddr == 1) \
                                         state->AbortAddr = (address & ~3L)
 #define ARMul_DATAABORT(address) state->abortSig = HIGH ; \
@@ -274,36 +300,54 @@ extern void ARMul_Abort(ARMul_State *state, ARMword address) ;
 *              Definitons of things in the memory interface                 *
 \***************************************************************************/
 
-extern unsigned ARMul_MemoryInit(ARMul_State *state,unsigned long initmemsize) ;
-extern void ARMul_MemoryExit(ARMul_State *state) ;
-
-extern ARMword ARMul_LoadInstrS(ARMul_State *state,ARMword address,ARMword isize) ;
-extern ARMword ARMul_LoadInstrN(ARMul_State *state,ARMword address,ARMword isize) ;
-extern ARMword ARMul_ReLoadInstr(ARMul_State *state,ARMword address,ARMword isize) ;
-
-extern ARMword ARMul_LoadWordS(ARMul_State *state,ARMword address) ;
-extern ARMword ARMul_LoadWordN(ARMul_State *state,ARMword address) ;
-extern ARMword ARMul_LoadHalfWord(ARMul_State *state,ARMword address) ;
-extern ARMword ARMul_LoadByte(ARMul_State *state,ARMword address) ;
-
-extern void ARMul_StoreWordS(ARMul_State *state,ARMword address, ARMword data) ;
-extern void ARMul_StoreWordN(ARMul_State *state,ARMword address, ARMword data) ;
-extern void ARMul_StoreHalfWord(ARMul_State *state,ARMword address, ARMword data) ;
-extern void ARMul_StoreByte(ARMul_State *state,ARMword address, ARMword data) ;
-
-extern ARMword ARMul_SwapWord(ARMul_State *state,ARMword address, ARMword data) ;
-extern ARMword ARMul_SwapByte(ARMul_State *state,ARMword address, ARMword data) ;
-
-extern void ARMul_Icycles(ARMul_State *state,unsigned number, ARMword address) ;
-extern void ARMul_Ccycles(ARMul_State *state,unsigned number, ARMword address) ;
-
-extern ARMword ARMul_ReadWord(ARMul_State *state,ARMword address) ;
-extern ARMword ARMul_ReadByte(ARMul_State *state,ARMword address) ;
-extern void ARMul_WriteWord(ARMul_State *state,ARMword address, ARMword data) ;
-extern void ARMul_WriteByte(ARMul_State *state,ARMword address, ARMword data) ;
-
-extern ARMword ARMul_MemAccess(ARMul_State *state,ARMword,ARMword,ARMword,
-                  ARMword,ARMword,ARMword,ARMword,ARMword,ARMword,ARMword) ;
+extern unsigned ARMul_MemoryInit (ARMul_State * state,
+                                 unsigned long initmemsize);
+extern void ARMul_MemoryExit (ARMul_State * state);
+
+extern ARMword ARMul_LoadInstrS (ARMul_State * state, ARMword address,
+                                ARMword isize);
+extern ARMword ARMul_LoadInstrN (ARMul_State * state, ARMword address,
+                                ARMword isize);
+extern ARMword ARMul_ReLoadInstr (ARMul_State * state, ARMword address,
+                                 ARMword isize);
+
+extern ARMword ARMul_LoadWordS (ARMul_State * state, ARMword address);
+extern ARMword ARMul_LoadWordN (ARMul_State * state, ARMword address);
+extern ARMword ARMul_LoadHalfWord (ARMul_State * state, ARMword address);
+extern ARMword ARMul_LoadByte (ARMul_State * state, ARMword address);
+
+extern void ARMul_StoreWordS (ARMul_State * state, ARMword address,
+                             ARMword data);
+extern void ARMul_StoreWordN (ARMul_State * state, ARMword address,
+                             ARMword data);
+extern void ARMul_StoreHalfWord (ARMul_State * state, ARMword address,
+                                ARMword data);
+extern void ARMul_StoreByte (ARMul_State * state, ARMword address,
+                            ARMword data);
+
+extern ARMword ARMul_SwapWord (ARMul_State * state, ARMword address,
+                              ARMword data);
+extern ARMword ARMul_SwapByte (ARMul_State * state, ARMword address,
+                              ARMword data);
+
+extern void ARMul_Icycles (ARMul_State * state, unsigned number,
+                          ARMword address);
+extern void ARMul_Ccycles (ARMul_State * state, unsigned number,
+                          ARMword address);
+
+extern ARMword ARMul_ReadWord (ARMul_State * state, ARMword address);
+extern ARMword ARMul_ReadByte (ARMul_State * state, ARMword address);
+extern ARMword ARMul_SafeReadByte (ARMul_State * state, ARMword address);
+extern void ARMul_WriteWord (ARMul_State * state, ARMword address,
+                            ARMword data);
+extern void ARMul_WriteByte (ARMul_State * state, ARMword address,
+                            ARMword data);
+extern void ARMul_SafeWriteByte (ARMul_State * state, ARMword address,
+                            ARMword data);
+
+extern ARMword ARMul_MemAccess (ARMul_State * state, ARMword, ARMword,
+                               ARMword, ARMword, ARMword, ARMword, ARMword,
+                               ARMword, ARMword, ARMword);
 
 /***************************************************************************\
 *            Definitons of things in the co-processor interface             *
@@ -318,36 +362,72 @@ extern ARMword ARMul_MemAccess(ARMul_State *state,ARMword,ARMword,ARMword,
 #define ARMul_CANT 1
 #define ARMul_INC 3
 
-extern unsigned ARMul_CoProInit(ARMul_State *state) ;
-extern void ARMul_CoProExit(ARMul_State *state) ;
-extern void ARMul_CoProAttach(ARMul_State *state, unsigned number,
-                              ARMul_CPInits *init, ARMul_CPExits *exit,
-                              ARMul_LDCs *ldc, ARMul_STCs *stc,
-                              ARMul_MRCs *mrc, ARMul_MCRs *mcr,
-                              ARMul_CDPs *cdp,
-                              ARMul_CPReads *read, ARMul_CPWrites *write) ;
-extern void ARMul_CoProDetach(ARMul_State *state, unsigned number) ;
+#define ARMul_CP13_R0_FIQ      0x1
+#define ARMul_CP13_R0_IRQ      0x2
+#define ARMul_CP13_R8_PMUS     0x1
+
+#define ARMul_CP14_R0_ENABLE   0x0001
+#define ARMul_CP14_R0_CLKRST   0x0004
+#define ARMul_CP14_R0_CCD      0x0008
+#define ARMul_CP14_R0_INTEN0   0x0010
+#define ARMul_CP14_R0_INTEN1   0x0020
+#define ARMul_CP14_R0_INTEN2   0x0040
+#define ARMul_CP14_R0_FLAG0    0x0100
+#define ARMul_CP14_R0_FLAG1    0x0200
+#define ARMul_CP14_R0_FLAG2    0x0400
+#define ARMul_CP14_R10_MOE_IB  0x0004
+#define ARMul_CP14_R10_MOE_DB  0x0008
+#define ARMul_CP14_R10_MOE_BT  0x000c
+#define ARMul_CP15_R1_ENDIAN   0x0080
+#define ARMul_CP15_R1_ALIGN    0x0002
+#define ARMul_CP15_R5_X                0x0400
+#define ARMul_CP15_R5_ST_ALIGN 0x0001
+#define ARMul_CP15_R5_IMPRE    0x0406
+#define ARMul_CP15_R5_MMU_EXCPT        0x0400
+#define ARMul_CP15_DBCON_M     0x0100
+#define ARMul_CP15_DBCON_E1    0x000c
+#define ARMul_CP15_DBCON_E0    0x0003
+
+extern unsigned ARMul_CoProInit (ARMul_State * state);
+extern void ARMul_CoProExit (ARMul_State * state);
+extern void ARMul_CoProAttach (ARMul_State * state, unsigned number,
+                              ARMul_CPInits * init, ARMul_CPExits * exit,
+                              ARMul_LDCs * ldc, ARMul_STCs * stc,
+                              ARMul_MRCs * mrc, ARMul_MCRs * mcr,
+                              ARMul_CDPs * cdp,
+                              ARMul_CPReads * read, ARMul_CPWrites * write);
+extern void ARMul_CoProDetach (ARMul_State * state, unsigned number);
+extern void XScale_check_memacc (ARMul_State * state, ARMword * address,
+                                int store);
+extern void XScale_set_fsr_far (ARMul_State * state, ARMword fsr, ARMword far);
+extern int XScale_debug_moe (ARMul_State * state, int moe);
 
 /***************************************************************************\
 *               Definitons of things in the host environment                *
 \***************************************************************************/
 
-extern unsigned ARMul_OSInit(ARMul_State *state) ;
-extern void ARMul_OSExit(ARMul_State *state) ;
-extern unsigned ARMul_OSHandleSWI(ARMul_State *state,ARMword number) ;
-extern ARMword ARMul_OSLastErrorP(ARMul_State *state) ;
+extern unsigned ARMul_OSInit (ARMul_State * state);
+extern void ARMul_OSExit (ARMul_State * state);
+extern unsigned ARMul_OSHandleSWI (ARMul_State * state, ARMword number);
+extern ARMword ARMul_OSLastErrorP (ARMul_State * state);
 
-extern ARMword ARMul_Debug(ARMul_State *state, ARMword pc, ARMword instr) ;
-extern unsigned ARMul_OSException(ARMul_State *state, ARMword vector, ARMword pc) ;
-extern int rdi_log ;
+extern ARMword ARMul_Debug (ARMul_State * state, ARMword pc, ARMword instr);
+extern unsigned ARMul_OSException (ARMul_State * state, ARMword vector,
+                                  ARMword pc);
+extern int rdi_log;
 
 /***************************************************************************\
 *                            Host-dependent stuff                           *
 \***************************************************************************/
 
 #ifdef macintosh
-pascal void SpinCursor(short increment);        /* copied from CursorCtl.h */
+pascal void SpinCursor (short increment);      /* copied from CursorCtl.h */
 # define HOURGLASS           SpinCursor( 1 )
-# define HOURGLASS_RATE      1023   /* 2^n - 1 */
+# define HOURGLASS_RATE      1023      /* 2^n - 1 */
 #endif
 
+extern void ARMul_UndefInstr      (ARMul_State *, ARMword);
+extern void ARMul_FixCPSR         (ARMul_State *, ARMword, ARMword);
+extern void ARMul_FixSPSR         (ARMul_State *, ARMword, ARMword);
+extern void ARMul_ConsolePrint    (ARMul_State *, const char *, ...);
+extern void ARMul_SelectProcessor (ARMul_State *, unsigned);