Searched refs:ttbr0 (Results 1 – 10 of 10) sorted by relevance
196 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()
132 p->arch.ttbr0 = READ_SYSREG64(TTBR0_EL1); in ctxt_switch_from()212 WRITE_SYSREG64(n->arch.ttbr0, TTBR0_EL1); in ctxt_switch_to()800 v->arch.ttbr0 = ctxt->ttbr0; in arch_set_info_guest()
56 ctxt->ttbr0 = 0; in do_common_cpu_on()
1011 ctxt.ttbr0_el1 = v->arch.ttbr0; in vcpu_show_registers()1763 uint64_t ttbr0 = READ_SYSREG64(TTBR0_EL1); in dump_guest_s1_walk() local1768 mfn = gfn_to_mfn(d, gaddr_to_gfn(ttbr0)); in dump_guest_s1_walk()1773 ttbr0, mfn_to_maddr(mfn)); in dump_guest_s1_walk()
205 uint64_t ttbr0; member
295 uint64_t ttbcr, ttbr0, ttbr1; member
206 uint64_t ttbr0, ttbr1; member
153 ctxt->ttbr0 = 0; in vcpu_arm32()195 ctxt->ttbr0 = 0; in vcpu_arm64()
680 printf("TTBR0: %016"PRIx64"\n", ctx->ttbr0); in print_ctx()
Completed in 17 milliseconds