22 lines
339 B
C
22 lines
339 B
C
#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;
|
|
} EFI_ALIGN(JMPBUF_ALIGN) jmp_buf[1];
|
|
|
|
#endif /* GNU_EFI_ARM_SETJMP_H */
|