Searched refs:HDFAR (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/ |
H A D | machine_pl2.h | 140 word_t HDFAR; local 141 asm volatile("mrc p15, 4, %0, c6, c0, 0" : "=r"(HDFAR)); 142 return HDFAR;
|
/seL4-l4v-master/seL4/src/arch/arm/32/ |
H A D | hyp_traps.S | 27 #define HDFAR(reg) p15, 4, reg, c6 , c0, 0 define 197 mrc HDFAR(r10) /* Get fault address register. */
|
Completed in 94 milliseconds