sys/user.h may need stdint.h

[musl] / arch / arm / bits / setjmp.h

typedef unsigned long jmp_buf [64];