In file included from armemu.c:278:
dbct/arm2x86_self.h:8: error: invalid register name for `st'
dbct/arm2x86_self.h:10: error: invalid register name for `T0'
dbct/arm2x86_self.h:11: error: invalid register name for `T1'
dbct/arm2x86_self.h:12: error: invalid register name for `T2'