Sandrine Bailleux bdb774df31 Fix SPSR register size in gp_regs structure ... SPSR is a 32-bit register and so its size should be reflected in the gp_regs structure. This patch fixes the type of gp_regs.spsr to use a 32-bit variable. It also makes the size of the other register fields more explicit. Change-Id: I27e0367df1a91cc501d5217c1b3856d4097c60ba		2013-12-20 15:52:16 +00:00
..
aarch64	move timer #defines & remove duplicate declaration	2013-12-05 12:28:50 +00:00
stdlib	Add strchr() and putchar() to local C library	2013-12-20 15:52:16 +00:00
asm_macros.S	rework general purpose registers save and restore	2013-12-05 12:28:50 +00:00
bakery_lock.h	Enable third party contributions	2013-12-05 11:34:09 +00:00
bl1.h	Move RUN_IMAGE constant from bl1.h to bl_common.h	2013-12-12 16:06:48 +00:00
bl2.h	Remove useless copies of meminfo structures	2013-12-12 16:06:48 +00:00
bl31.h	Make BL31's ns_entry_info a single-cpu area	2013-12-12 16:06:48 +00:00
bl_common.h	Move RUN_IMAGE constant from bl1.h to bl_common.h	2013-12-12 16:06:48 +00:00
debug.h	Add debug macros	2013-12-20 15:52:16 +00:00
mmio.h	Enable third party contributions	2013-12-05 11:34:09 +00:00
pm.h	Enable third party contributions	2013-12-05 11:34:09 +00:00
psci.h	move timer #defines & remove duplicate declaration	2013-12-05 12:28:50 +00:00
runtime_svc.h	Fix SPSR register size in gp_regs structure	2013-12-20 15:52:16 +00:00
semihosting.h	Enable third party contributions	2013-12-05 11:34:09 +00:00
spinlock.h	Enable third party contributions	2013-12-05 11:34:09 +00:00