37,8 → 37,7 |
#include <arch/types.h> |
|
|
/** Decribes CP15 "fault status register" (FSR). |
*/ |
/** Decribes CP15 "fault status register" (FSR). */ |
typedef struct { |
unsigned status : 3; |
unsigned domain : 4; |
47,8 → 46,7 |
} __attribute__ ((packed)) fault_status_t; |
|
|
/** Help union used for casting integer value into #fault_status_t. |
*/ |
/** Help union used for casting integer value into #fault_status_t. */ |
typedef union { |
fault_status_t fs; |
uint32_t dummy; |
57,8 → 55,8 |
|
/** Simplified description of instruction code. |
* |
* \note Used for recognizing memory access instructions. |
* \see ARM architecture reference (chapter 3.1) |
* @note Used for recognizing memory access instructions. |
* @see ARM architecture reference (chapter 3.1) |
*/ |
typedef struct { |
unsigned dummy1 : 4; |
84,6 → 82,7 |
extern void prefetch_abort(int n, istate_t *istate); |
extern void data_abort(int n, istate_t *istate); |
|
|
#endif |
|
/** @} |