Searched refs:dfsr (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/32/ |
| H A D | debug.c | 15 void check_data_abort_exception(word_t dfsr, UNUSED word_t dfar) argument
19 word_t fs = dfsr & DFSR_FS_MASK;
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/ |
| H A D | machine.h | 482 static inline void setDFSR(word_t dfsr) argument
484 asm volatile("mcr p15, 0, %0, c5, c0, 0" : : "r"(dfsr));
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 2838 word_t UNUSED dfsr = getDFSR(); local
2843 printf("FAR: 0x%x DFSR: 0x%x\n", (unsigned int)far, (unsigned int)dfsr);
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 2450 word_t dfsr = getDFSR(); local
2455 printf("FAR: 0x%lx ESR (DFSR): 0x%x\n", (unsigned long)far, (unsigned int)dfsr);
|
Completed in 59 milliseconds