read auxiliary instruction fault status register (AIFSR) */
| 309 | |
| 310 | /* read auxiliary instruction fault status register (AIFSR) */ |
| 311 | static inline uint32_t read_aifsr(void) |
| 312 | { |
| 313 | uint32_t val; |
| 314 | asm volatile ("mrc p15, 0, %0, c5, c1, 1" : "=r" (val)); |
| 315 | return val; |
| 316 | } |
| 317 | |
| 318 | /* |
| 319 | * Cache maintenance API |
no outgoing calls
no test coverage detected