Variable cpsr holds the value of cpsr register, which is 32-bit.  It
is better to explicitly use uint32_t.
gdb/gdbserver:
2016-05-05  Yao Qi  <yao.qi@linaro.org>
	* linux-arm-low.c (arm_sigreturn_next_pc): Change type of cpsr
	to uint32_t.
+2016-05-05  Yao Qi  <yao.qi@linaro.org>
+
+       * linux-arm-low.c (arm_sigreturn_next_pc): Change type of cpsr
+       to uint32_t.
+
 2016-05-04  Ulrich Weigand <Ulrich.Weigand@de.ibm.com>
 
        * spu-low.c (fetch_ppc_register): Cast PowerPC-Linux-specific value
 
   /* Offset of PC register.  */
   int pc_offset = 0;
   CORE_ADDR next_pc = 0;
-  CORE_ADDR cpsr;
+  uint32_t cpsr;
 
   gdb_assert (svc_number == __NR_sigreturn || svc_number == __NR_rt_sigreturn);