Searched refs:hmair1 (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/ |
| H A D | machine_pl2.h | 99 static inline void setHMAIR(word_t hmair0, word_t hmair1) argument
102 asm volatile("mcr p15, 4, %0, c10, c2, 1" : : "r"(hmair1));
106 static inline void setMAIR(word_t hmair0, word_t hmair1) argument
109 asm volatile("mcr p15, 0, %0, c10, c2, 1" : : "r"(hmair1));
|
Completed in 26 milliseconds