xref: /seL4-test-master/projects/musllibc/arch/x86_64_sel4/bits/setjmp.h

typedef unsigned long __jmp_buf[8];