Searched refs:ttbr (Results 1 – 4 of 4) sorted by relevance
| /xen/xen/arch/arm/ |
| A D | guest_walk.c | 37 uint32_t ttbr; in guest_walk_sd() local
55 ttbr = READ_SYSREG64(TTBR0_EL1); in guest_walk_sd()
69 ttbr = READ_SYSREG64(TTBR1_EL1); in guest_walk_sd()
92 paddr = (ttbr & mask); in guest_walk_sd()
274 *ttbr = READ_SYSREG64(TTBR0_EL1); in get_ttbr_and_gran_64bit()
305 *ttbr = READ_SYSREG64(TTBR1_EL1); in get_ttbr_and_gran_64bit()
368 uint64_t ttbr = 0; in guest_walk_ld() local
465 ttbr = READ_SYSREG64(TTBR0_EL1); in guest_walk_ld()
482 ttbr = READ_SYSREG64(TTBR1_EL1); in guest_walk_ld()
504 ret = check_base_size(output_size, ttbr); in guest_walk_ld()
[all …]
|
| A D | mm.c | 216 void dump_pt_walk(paddr_t ttbr, paddr_t addr, in dump_pt_walk() argument
221 const mfn_t root_mfn = maddr_to_mfn(ttbr); in dump_pt_walk()
280 uint64_t ttbr = READ_SYSREG64(TTBR0_EL2); in dump_hyp_walk() local
285 addr, smp_processor_id(), ttbr); in dump_hyp_walk()
290 BUG_ON( virt_to_maddr(pgtable) != ttbr ); in dump_hyp_walk()
291 dump_pt_walk(ttbr, addr, HYP_PT_ROOT_LEVEL, 1); in dump_hyp_walk()
628 extern void switch_ttbr(uint64_t ttbr);
641 uint64_t ttbr; in setup_pagetables() local
706 ttbr = (uintptr_t) xen_pgtable + phys_offset; in setup_pagetables()
708 ttbr = (uintptr_t) cpu0_pgtable + phys_offset; in setup_pagetables()
[all …]
|
| /xen/xen/drivers/passthrough/arm/ |
| A D | ipmmu-vmsa.c | 526 uint64_t ttbr; in ipmmu_domain_init_context() local
542 ttbr = page_to_maddr(domain->d->arch.p2m.root); in ipmmu_domain_init_context()
545 domain->d, domain->context_id, ttbr); in ipmmu_domain_init_context()
547 ipmmu_ctx_write_root(domain, IMTTLBR0, ttbr & IMTTLBR0_TTBR_MASK); in ipmmu_domain_init_context()
548 ipmmu_ctx_write_root(domain, IMTTUBR0, (ttbr >> 32) & IMTTUBR0_TTBR_MASK); in ipmmu_domain_init_context()
|
| /xen/xen/include/asm-arm/ |
| A D | page.h | 256 void dump_pt_walk(paddr_t ttbr, paddr_t addr,
|
Completed in 12 milliseconds