arch/powerpc64/bits/setjmp.h

typedef unsigned __int128 __jmp_buf[32];