Searched defs:ttbr0 (Results 1 – 3 of 3) sorted by relevance
135 uint64_t ttbr0; member
300 uint64_t ttbcr, ttbr0, ttbr1; member
1192 static uint16_t get_asid(uint64_t ttbr0) in get_asid()
