Searched defs:ttbcr (Results 1 – 5 of 5) sorted by relevance
85 "ttbcr": 3207173788, number
284 uint64_t ttbcr, ttbr0, ttbr1; member
1644 unsigned int cr, ttbcr; in early_paging_init() local
1202 uint64_t ttbcr; in kvm_arm_verify_ext_dabt_pending() local
366 "ttbcr": { "type": "integer" }, object