#include <sys/user.h>

#ifdef HAVE_SYS_REG_H
# include <sys/reg.h>
#endif

#include "arch_regs.h"