Searched refs:HCR (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 | 85 word_t HCR; local 86 asm volatile("mrc p15, 4, %0, c1, c1, 0" : "=r"(HCR)); 87 return HCR;
|
/seL4-mcs-10.1.1/src/arch/arm/32/ |
H A D | hyp_traps.S | 20 #define HCR(reg) p15, 4, reg, c1 , c1, 0 define
|
Completed in 29 milliseconds