Searched defs:ttbr (Results 1 – 2 of 2) sorted by relevance
37 uint32_t ttbr; in guest_walk_sd() local243 static bool get_ttbr_and_gran_64bit(uint64_t *ttbr, unsigned int *gran, in get_ttbr_and_gran_64bit()368 uint64_t ttbr = 0; in guest_walk_ld() local
185 void dump_pt_walk(paddr_t ttbr, paddr_t addr, in dump_pt_walk()249 uint64_t ttbr = READ_SYSREG64(TTBR0_EL2); in dump_hyp_walk() local617 uint64_t ttbr; in setup_pagetables() local
Completed in 5 milliseconds