fix type issues in stdint.h so underlying types of 64-bit types match ABI

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

typedef unsigned long jmp_buf[8];