Rev 2278 | Rev 2329 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2278 | Rev 2304 | ||
|---|---|---|---|
| Line 34... | Line 34... | ||
| 34 | #ifndef KERN_arm32_PAGE_FAULT_H_ |
34 | #ifndef KERN_arm32_PAGE_FAULT_H_ |
| 35 | #define KERN_arm32_PAGE_FAULT_H |
35 | #define KERN_arm32_PAGE_FAULT_H |
| 36 | 36 | ||
| 37 | #include <arch/types.h> |
37 | #include <arch/types.h> |
| 38 | 38 | ||
| 39 | /** |
39 | |
| 40 | * Decribes structure of fault status register in coprocessor 15 |
40 | /** Decribes CP15 "fault status register" (FSR). |
| 41 | */ |
41 | */ |
| 42 | typedef struct { |
42 | typedef struct { |
| 43 | unsigned status : 3; |
43 | unsigned status : 3; |
| 44 | unsigned domain : 4; |
44 | unsigned domain : 4; |
| 45 | unsigned zero : 1; |
45 | unsigned zero : 1; |
| 46 | unsigned should_be_zero : 24; |
46 | unsigned should_be_zero : 24; |
| 47 | } __attribute__ ((packed)) fault_status_t; |
47 | } __attribute__ ((packed)) fault_status_t; |
| 48 | 48 | ||
| 49 | /** |
49 | |
| 50 | * Help union used for overcasting integer value into fault_status_t type |
50 | /** Help union used for casting integer value into #fault_status_t. |
| 51 | */ |
51 | */ |
| 52 | typedef union { |
52 | typedef union { |
| 53 | fault_status_t fsr; |
53 | fault_status_t fs; |
| 54 | uint32_t dummy; |
54 | uint32_t dummy; |
| 55 | } fault_status_union_t; |
55 | } fault_status_union_t; |
| 56 | 56 | ||
| 57 | /** |
57 | |
| 58 | * Very simplyfied description of instruction code structure intended for |
58 | /** Simplified description of instruction code. |
| - | 59 | * |
|
| 59 | * recognising memmory access of instruction ( reads or writes into memmory) |
60 | * \note Used for recognizing memory access instructions. |
| 60 | * more details: see ARM architecture preference |
61 | * \see ARM architecture reference (chapter 3.1) |
| 61 | * chapter:3.1 Instruction set encoding |
- | |
| 62 | */ |
62 | */ |
| 63 | typedef struct { |
63 | typedef struct { |
| 64 | unsigned dummy1 : 4; |
64 | unsigned dummy1 : 4; |
| 65 | unsigned bit4 : 1; |
65 | unsigned bit4 : 1; |
| 66 | unsigned bits567 : 3; |
66 | unsigned bits567 : 3; |
| 67 | unsigned dummy : 12; |
67 | unsigned dummy : 12; |
| 68 | unsigned access : 1; |
68 | unsigned access : 1; |
| 69 | unsigned opcode : 4; |
69 | unsigned opcode : 4; |
| 70 | unsigned instr_type : 3; |
70 | unsigned type : 3; |
| 71 | unsigned condition : 4; |
71 | unsigned condition : 4; |
| 72 | } __attribute__ ((packed)) instruction_t; |
72 | } __attribute__ ((packed)) instruction_t; |
| 73 | 73 | ||
| 74 | /** |
74 | |
| 75 | * Help union used for overcasting ip register (uint_32_t) value into |
75 | /** Help union used for casting pc register (uint_32_t) value into |
| 76 | * instruction_t pointer |
76 | * #instruction_t pointer. |
| 77 | */ |
77 | */ |
| 78 | typedef union { |
78 | typedef union { |
| 79 | instruction_t* instr; |
79 | instruction_t* instr; |
| 80 | uint32_t ip; |
80 | uint32_t pc; |
| 81 | } instruction_union_t; |
81 | } instruction_union_t; |
| 82 | 82 | ||
| - | 83 | ||
| 83 | extern void prefetch_abort(int n, istate_t *istate); |
84 | extern void prefetch_abort(int n, istate_t *istate); |
| 84 | extern void data_abort(int n, istate_t *istate); |
85 | extern void data_abort(int n, istate_t *istate); |
| 85 | 86 | ||
| 86 | #endif |
87 | #endif |
| 87 | 88 | ||