← Back to branch summary

~ubuntu-branches/ubuntu/wily/coq-doc/wily

« back to all changes in this revision

Viewing changes to kernel/byterun/coq_interp.c

  • Committer: Package Import Robot
  • Author(s): Stéphane Glondu
  • Date: 2012-01-03 23:42:48 UTC
  • mfrom: (1.2.4)
  • Revision ID: package-import@ubuntu.com-20120103234248-p9r8h1579n67v55a
Tags: 8.3pl3-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
kernel/byterun/coq_interp.c
145
145
#define SP_REG asm("a4")
146
146
#define ACCU_REG asm("d7")
147
147
#endif
148
 
#ifdef __arm__
 
148
#if defined(__arm__) && !defined(__thumb2__)
149
149
#define PC_REG asm("r9")
150
150
#define SP_REG asm("r8")
151
151
#define ACCU_REG asm("r7")