;Register definition for ARM720T
;===============================
;
; name: user defined name of the register
; type: the type of the register
;	GPR	general purpose register
;	CP15	CP15 register
;	MM	memory mapped register
;	DMMx	direct memory mapped register with offset
;		x = 1..4
;		the base is defined in the configuration file
;		e.g. DMM1 0x02200000
; addr:	the number, adddress or offset of the register
; size	the size of the register (8,16 or 32)
;
;name		type	addr		size
;-------------------------------------------
;
;
; CP15 Registers
;
;  Numbers for 710T, 720T and 740T:
;  +-------+-------+-------+-------+
;  | | | | | | | | | | | | | | | | |
;  +-----+-+-------+-------+-------+
;  |opc_2|0|  CRm  |0 0 0 0|  nbr  |
;  +-----+-+-------+-------+-------+
;
;
id		CP15    0x0000          32
control 	CP15    0x0001          32
ttb     	CP15    0x0002          32
dac     	CP15    0x0003          32
fsr     	CP15    0x0005          32
far     	CP15    0x0006          32
iidc    	CP15    0x0007          32      ;invalidate ID cache
itlb    	CP15    0x0008          32      ;invalidate TLB
itlbs   	CP15    0x2008          32      ;invalidate TLB single entry
pid     	CP15    0x000d          32      ;process identifier


