Rev 2304 | Rev 2410 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2304 | Rev 2329 | ||
|---|---|---|---|
| Line 35... | Line 35... | ||
| 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 CP15 "fault status register" (FSR). |
40 | /** Decribes CP15 "fault status register" (FSR). */ |
| 41 | */ |
- | |
| 42 | typedef struct { |
41 | typedef struct { |
| 43 | unsigned status : 3; |
42 | unsigned status : 3; |
| 44 | unsigned domain : 4; |
43 | unsigned domain : 4; |
| 45 | unsigned zero : 1; |
44 | unsigned zero : 1; |
| 46 | unsigned should_be_zero : 24; |
45 | unsigned should_be_zero : 24; |
| 47 | } __attribute__ ((packed)) fault_status_t; |
46 | } __attribute__ ((packed)) fault_status_t; |
| 48 | 47 | ||
| 49 | 48 | ||
| 50 | /** Help union used for casting integer value into #fault_status_t. |
49 | /** Help union used for casting integer value into #fault_status_t. */ |
| 51 | */ |
- | |
| 52 | typedef union { |
50 | typedef union { |
| 53 | fault_status_t fs; |
51 | fault_status_t fs; |
| 54 | uint32_t dummy; |
52 | uint32_t dummy; |
| 55 | } fault_status_union_t; |
53 | } fault_status_union_t; |
| 56 | 54 | ||
| 57 | 55 | ||
| 58 | /** Simplified description of instruction code. |
56 | /** Simplified description of instruction code. |
| 59 | * |
57 | * |
| 60 | * \note Used for recognizing memory access instructions. |
58 | * @note Used for recognizing memory access instructions. |
| 61 | * \see ARM architecture reference (chapter 3.1) |
59 | * @see ARM architecture reference (chapter 3.1) |
| 62 | */ |
60 | */ |
| 63 | typedef struct { |
61 | typedef struct { |
| 64 | unsigned dummy1 : 4; |
62 | unsigned dummy1 : 4; |
| 65 | unsigned bit4 : 1; |
63 | unsigned bit4 : 1; |
| 66 | unsigned bits567 : 3; |
64 | unsigned bits567 : 3; |
| Line 82... | Line 80... | ||
| 82 | 80 | ||
| 83 | 81 | ||
| 84 | extern void prefetch_abort(int n, istate_t *istate); |
82 | extern void prefetch_abort(int n, istate_t *istate); |
| 85 | extern void data_abort(int n, istate_t *istate); |
83 | extern void data_abort(int n, istate_t *istate); |
| 86 | 84 | ||
| - | 85 | ||
| 87 | #endif |
86 | #endif |
| 88 | 87 | ||
| 89 | /** @} |
88 | /** @} |
| 90 | */ |
89 | */ |
| 91 | 90 | ||