Home
last modified time | relevance | path

Searched refs:ttbr0 (Results 1 – 10 of 10) sorted by relevance

/xen/xen/arch/arm/
A Ddomctl.c202 ctxt->ttbr0 = v->arch.ttbr0; in arch_get_info_guest()
A Dvm_event.c31 req->data.regs.arm.ttbr0 = READ_SYSREG64(TTBR0_EL1); in vm_event_fill_regs()
A Ddomain.c134 p->arch.ttbr0 = READ_SYSREG64(TTBR0_EL1); in ctxt_switch_from()
215 WRITE_SYSREG64(n->arch.ttbr0, TTBR0_EL1); in ctxt_switch_to()
903 v->arch.ttbr0 = ctxt->ttbr0; in arch_set_info_guest()
A Dvpsci.c54 ctxt->ttbr0 = 0; in do_common_cpu_on()
A Dtraps.c961 ctxt.ttbr0_el1 = v->arch.ttbr0; in vcpu_show_registers()
1745 uint64_t ttbr0 = READ_SYSREG64(TTBR0_EL1); in dump_guest_s1_walk() local
1750 mfn = gfn_to_mfn(d, gaddr_to_gfn(ttbr0)); in dump_guest_s1_walk()
1755 ttbr0, mfn_to_maddr(mfn)); in dump_guest_s1_walk()
/xen/xen/include/asm-arm/
A Ddomain.h147 uint64_t ttbr0, ttbr1; member
/xen/tools/libxc/
A Dxc_dom_arm.c136 ctxt->ttbr0 = 0; in vcpu_arm32()
178 ctxt->ttbr0 = 0; in vcpu_arm64()
/xen/xen/include/public/
A Dvm_event.h239 uint64_t ttbr0; member
A Darch-arm.h297 uint64_t ttbcr, ttbr0, ttbr1; member
/xen/tools/xentrace/
A Dxenctx.c682 printf("TTBR0: %016"PRIx64"\n", ctx->ttbr0); in print_ctx()

Completed in 18 milliseconds