read data fault address register (DFAR) */
| 269 | |
| 270 | /* read data fault address register (DFAR) */ |
| 271 | static inline uint32_t read_dfar(void) |
| 272 | { |
| 273 | uint32_t val; |
| 274 | asm volatile ("mrc p15, 0, %0, c6, c0, 0" : "=r" (val)); |
| 275 | return val; |
| 276 | } |
| 277 | |
| 278 | /* read data fault status register (DFSR) */ |
| 279 | static inline uint32_t read_dfsr(void) |
no outgoing calls
no test coverage detected