1 #include <sys/user.h> 2 3 #ifdef HAVE_SYS_REG_H 4 # include <sys/reg.h> 5 #endif 6 7 #include "arch_regs.h" 8