No typedef for __uint16_t

[webhat]

I ran make, and got the following error. stackoverflow suggested that it was due to a missing typedef.

./gen_tables.py /usr/src/linux/
cc -c -o ministrace.o ministrace.c
In file included from ministrace.c:2:0:
/usr/include/sys/user.h:32:3: error: expected specifier-qualifier-list before '__uint16_t'
make: *** [ministrace.o] Error 1

[webhat]

Adding #include <bits/types.h> before #include <sys/user.h> seems to fix the issue.

[nelhage]

Thanks for the report, and that fix sounds reasonable. Feel like putting together a pull request so I can just merge it?

[webhat]

I'm already on it. :)

[nelhage]

resolved by #2