read translation table base register 0 (TTBR0) */
| 106 | |
| 107 | /* read translation table base register 0 (TTBR0) */ |
| 108 | static inline uint64_t read_ttbr0(void) |
| 109 | { |
| 110 | uint32_t low, high; |
| 111 | asm volatile ("mrrc p15, 0, %[low], %[high], c2" : |
| 112 | [low] "=r" (low), [high] "=r" (high)); |
| 113 | return ((uint64_t)high << 32) | low; |
| 114 | } |
| 115 | |
| 116 | /* read translation table base control register (TTBCR) */ |
| 117 | static inline uint32_t read_ttbcr(void) |