Home
last modified time | relevance | path

Searched defs:ttbr (Results 1 – 3 of 3) sorted by relevance

/xen/xen/arch/arm/
A Dguest_walk.c37 uint32_t ttbr; in guest_walk_sd() local
243 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
A Dmm.c216 void dump_pt_walk(paddr_t ttbr, paddr_t addr, in dump_pt_walk()
280 uint64_t ttbr = READ_SYSREG64(TTBR0_EL2); in dump_hyp_walk() local
641 uint64_t ttbr; in setup_pagetables() local
/xen/xen/drivers/passthrough/arm/
A Dipmmu-vmsa.c526 uint64_t ttbr; in ipmmu_domain_init_context() local

Completed in 10 milliseconds