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
..
cache_helpers.S	Enable third party contributions	2013-12-05 11:34:09 +00:00
misc_helpers.S	Fix SPSR register size in gp_regs structure	2013-12-20 15:52:16 +00:00
sysreg_helpers.S	Enable third party contributions	2013-12-05 11:34:09 +00:00
tlb_helpers.S	Enable third party contributions	2013-12-05 11:34:09 +00:00