diff options
Diffstat (limited to 'sysdeps/aarch64/bits/setjmp.h')
| -rw-r--r-- | sysdeps/aarch64/bits/setjmp.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sysdeps/aarch64/bits/setjmp.h b/sysdeps/aarch64/bits/setjmp.h index ba3f49246d..9c117fc5ad 100644 --- a/sysdeps/aarch64/bits/setjmp.h +++ b/sysdeps/aarch64/bits/setjmp.h @@ -27,7 +27,10 @@ /* Jump buffer contains: x19-x28, x29(fp), x30(lr), (x31)sp, d8-d15. Other registers are not saved. */ +# ifndef __CHERI_PURE_CAPABILITY__ __extension__ typedef unsigned long long __jmp_buf [22]; - +# else +__extension__ typedef __uintcap_t __jmp_buf [22]; +# endif #endif #endif |