arch/riscv32/bits/setjmp.h

typedef unsigned long long __jmp_buf[19];