Searched refs:ttbr0 (Results 1 – 10 of 10) sorted by relevance
202 ctxt->ttbr0 = v->arch.ttbr0; in arch_get_info_guest()
31 req->data.regs.arm.ttbr0 = READ_SYSREG64(TTBR0_EL1); in vm_event_fill_regs()
134 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()
54 ctxt->ttbr0 = 0; in do_common_cpu_on()
961 ctxt.ttbr0_el1 = v->arch.ttbr0; in vcpu_show_registers()1745 uint64_t ttbr0 = READ_SYSREG64(TTBR0_EL1); in dump_guest_s1_walk() local1750 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()
147 uint64_t ttbr0, ttbr1; member
136 ctxt->ttbr0 = 0; in vcpu_arm32()178 ctxt->ttbr0 = 0; in vcpu_arm64()
239 uint64_t ttbr0; member
297 uint64_t ttbcr, ttbr0, ttbr1; member
682 printf("TTBR0: %016"PRIx64"\n", ctx->ttbr0); in print_ctx()
Completed in 18 milliseconds