Michael Brown | 5de5d46 | 2024-09-12 14:17:20 +0100 | [diff] [blame^] | 1 | #ifndef _BITS_SETJMP_H |
| 2 | #define _BITS_SETJMP_H |
Michael Brown | fb2bedc | 2015-04-07 06:40:42 +0100 | [diff] [blame] | 3 | |
| 4 | FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL ); |
| 5 | |
| 6 | #include <stdint.h> |
| 7 | |
| 8 | /** A jump buffer */ |
| 9 | typedef struct { |
| 10 | /** Saved return address */ |
| 11 | uint64_t retaddr; |
| 12 | /** Saved stack pointer */ |
| 13 | uint64_t stack; |
| 14 | /** Saved %rbx */ |
| 15 | uint64_t rbx; |
| 16 | /** Saved %rbp */ |
| 17 | uint64_t rbp; |
| 18 | /** Saved %r12 */ |
| 19 | uint64_t r12; |
| 20 | /** Saved %r13 */ |
| 21 | uint64_t r13; |
| 22 | /** Saved %r14 */ |
| 23 | uint64_t r14; |
| 24 | /** Saved %r15 */ |
| 25 | uint64_t r15; |
| 26 | } jmp_buf[1]; |
| 27 | |
Michael Brown | 5de5d46 | 2024-09-12 14:17:20 +0100 | [diff] [blame^] | 28 | #endif /* _BITS_SETJMP_H */ |