Searched refs:HTPIDR (Results 1 - 2 of 2) sorted by relevance
| /seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/ |
| H A D | machine_pl2.h | 183 word_t HTPIDR; local
184 asm volatile("mrc p15, 4, %0, c13, c0, 2" : "=r"(HTPIDR));
185 return HTPIDR;
|
| /seL4-mcs-10.1.1/src/arch/arm/32/ |
| H A D | hyp_traps.S | 38 #define HTPIDR(reg) p15, 4, reg, c13, c0, 2 define
119 /* the hyp mode uses HTPIDR */
|
Completed in 71 milliseconds