diff options
Diffstat (limited to 'gnu-efi/inc/arm/efisetjmp_arch.h')
| -rw-r--r-- | gnu-efi/inc/arm/efisetjmp_arch.h | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gnu-efi/inc/arm/efisetjmp_arch.h b/gnu-efi/inc/arm/efisetjmp_arch.h new file mode 100644 index 00000000..17f5dc0f --- /dev/null +++ b/gnu-efi/inc/arm/efisetjmp_arch.h @@ -0,0 +1,21 @@ +#ifndef GNU_EFI_ARM_SETJMP_H +#define GNU_EFI_ARM_SETJMP_H + +#define JMPBUF_ALIGN 4 + +typedef struct { + UINT32 R3; // A copy of R13 + UINT32 R4; + UINT32 R5; + UINT32 R6; + UINT32 R7; + UINT32 R8; + UINT32 R9; + UINT32 R10; + UINT32 R11; + UINT32 R12; + UINT32 R13; + UINT32 R14; +} ALIGN(JMPBUF_ALIGN) jmp_buf[1]; + +#endif /* GNU_EFI_ARM_SETJMP_H */ |