#include "server.h"
#include "arch/arm.h"
+#include "arch/arm-linux.h"
#include "linux-low.h"
#include "linux-aarch32-low.h"
for (i = ARM_A1_REGNUM; i <= ARM_PC_REGNUM; i++)
collect_register (regcache, i, ®s[i]);
- collect_register (regcache, ARM_PS_REGNUM, ®s[16]);
+ collect_register (regcache, ARM_PS_REGNUM, ®s[ARM_CPSR_GREGNUM]);
}
/* Supply GP registers contents, stored in BUF, to REGCACHE. */
for (; i < ARM_PS_REGNUM; i++)
supply_register (regcache, i, zerobuf);
- supply_register (regcache, ARM_PS_REGNUM, ®s[16]);
+ supply_register (regcache, ARM_PS_REGNUM, ®s[ARM_CPSR_GREGNUM]);
}
/* Collect NUM number of VFP registers from REGCACHE to buffer BUF. */