1 /*
2  * Copyright (C) 2015-2021 Alibaba Group Holding Limited
3  */
4 
5 #ifndef K_ARCH_H
6 #define K_ARCH_H
7 
8 #include <stdint.h>
9 #include "k_types.h"
10 
11 typedef struct {
12     long X1;
13     long X3;
14     long X4;
15     long X5;
16     long X6;
17     long X7;
18     long X8;
19     long X9;
20     long X10;
21     long X11;
22     long X12;
23     long X13;
24     long X14;
25     long X15;
26     long X16;
27     long X17;
28     long X18;
29     long X19;
30     long X20;
31     long X21;
32     long X22;
33     long X23;
34     long X24;
35     long X25;
36     long X26;
37     long X27;
38     long X28;
39     long X29;
40     long X30;
41     long X31;
42     long PC;
43     long FPU[32];
44 } context_t;
45 
46 typedef struct {
47     long exc_type;  /* ARM exception IDs */
48     long SP;
49     context_t cntx;
50 } fault_context_t;
51 
52 #endif /* K_ARCH_H */
53