Searched refs:ttbr1 (Results 1 – 10 of 10) sorted by relevance
203 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()
135 p->arch.ttbr1 = READ_SYSREG64(TTBR1_EL1); in ctxt_switch_from()216 WRITE_SYSREG64(n->arch.ttbr1, TTBR1_EL1); in ctxt_switch_to()904 v->arch.ttbr1 = ctxt->ttbr1; in arch_set_info_guest()
55 ctxt->ttbr1 = 0; in do_common_cpu_on()
962 ctxt.ttbr1_el1 = v->arch.ttbr1; in vcpu_show_registers()
147 uint64_t ttbr0, ttbr1; member
137 ctxt->ttbr1 = 0; in vcpu_arm32()179 ctxt->ttbr1 = 0; in vcpu_arm64()
240 uint64_t ttbr1; member
297 uint64_t ttbcr, ttbr0, ttbr1; member
683 printf("TTBR1: %016"PRIx64"\n", ctx->ttbr1); in print_ctx()
Completed in 23 milliseconds