Home
last modified time | relevance | path

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

/xen/xen/arch/arm/
A Ddomctl.c203 ctxt->ttbr1 = v->arch.ttbr1; in arch_get_info_guest()
A Dvm_event.c32 req->data.regs.arm.ttbr1 = READ_SYSREG64(TTBR1_EL1); in vm_event_fill_regs()
A Ddomain.c135 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()
A Dvpsci.c55 ctxt->ttbr1 = 0; in do_common_cpu_on()
A Dtraps.c962 ctxt.ttbr1_el1 = v->arch.ttbr1; in vcpu_show_registers()
/xen/xen/include/asm-arm/
A Ddomain.h147 uint64_t ttbr0, ttbr1; member
/xen/tools/libxc/
A Dxc_dom_arm.c137 ctxt->ttbr1 = 0; in vcpu_arm32()
179 ctxt->ttbr1 = 0; in vcpu_arm64()
/xen/xen/include/public/
A Dvm_event.h240 uint64_t ttbr1; member
A Darch-arm.h297 uint64_t ttbcr, ttbr0, ttbr1; member
/xen/tools/xentrace/
A Dxenctx.c683 printf("TTBR1: %016"PRIx64"\n", ctx->ttbr1); in print_ctx()

Completed in 23 milliseconds