Expose more regs in syscall ARM#545

2over12 wants to merge 4 commits intomasterGaloisInc/macaw:masterfrom

expose-more-regs-in-syscallGaloisInc/macaw:expose-more-regs-in-syscallCopy head branch name to clipboard