xref: /seL4-camkes-master/projects/musllibc/arch/aarch64_sel4/bits/setjmp.h

typedef unsigned long __jmp_buf[22];