Searched refs:ttbr1 (Results 1 – 10 of 10) sorted by relevance
197 ctxt->ttbr1 = v->arch.ttbr1; in arch_get_info_guest()
32 req->data.regs.arm.ttbr1 = READ_SYSREG64(TTBR1_EL1); in vm_event_fill_regs()
133 p->arch.ttbr1 = READ_SYSREG64(TTBR1_EL1); in ctxt_switch_from()213 WRITE_SYSREG64(n->arch.ttbr1, TTBR1_EL1); in ctxt_switch_to()801 v->arch.ttbr1 = ctxt->ttbr1; in arch_set_info_guest()
57 ctxt->ttbr1 = 0; in do_common_cpu_on()
1012 ctxt.ttbr1_el1 = v->arch.ttbr1; in vcpu_show_registers()
206 uint64_t ttbr1; member
295 uint64_t ttbcr, ttbr0, ttbr1; member
206 uint64_t ttbr0, ttbr1; member
154 ctxt->ttbr1 = 0; in vcpu_arm32()196 ctxt->ttbr1 = 0; in vcpu_arm64()
681 printf("TTBR1: %016"PRIx64"\n", ctx->ttbr1); in print_ctx()
Completed in 17 milliseconds