Home
last modified time | relevance | path

Searched refs:ttbcr (Results 1 – 11 of 11) sorted by relevance

/xen/xen/arch/arm/
A Dguest_walk.c40 register_t ttbcr = READ_SYSREG(TCR_EL1); in guest_walk_sd() local
41 unsigned int n = ttbcr & TTBCR_N_MASK; in guest_walk_sd()
58 disabled = ttbcr & TTBCR_PD0; in guest_walk_sd()
72 disabled = ttbcr & TTBCR_PD1; in guest_walk_sd()
A Ddomctl.c204 ctxt->ttbcr = v->arch.ttbcr; in arch_get_info_guest()
A Dvm_event.c30 req->data.regs.arm.ttbcr = READ_SYSREG(TCR_EL1); in vm_event_fill_regs()
A Ddomain.c133 p->arch.ttbcr = READ_SYSREG(TCR_EL1); in ctxt_switch_from()
214 WRITE_SYSREG(n->arch.ttbcr, TCR_EL1); in ctxt_switch_to()
905 v->arch.ttbcr = ctxt->ttbcr; in arch_set_info_guest()
A Dvpsci.c56 ctxt->ttbcr = 0; /* Defined Reset Value */ in do_common_cpu_on()
A Dtraps.c960 ctxt.tcr_el1 = v->arch.ttbcr; in vcpu_show_registers()
1744 register_t ttbcr = READ_SYSREG(TCR_EL1); in dump_guest_s1_walk() local
1753 printk(" TTBCR: 0x%"PRIregister"\n", ttbcr); in dump_guest_s1_walk()
1757 if ( ttbcr & TTBCR_EAE ) in dump_guest_s1_walk()
1762 if ( (ttbcr & TTBCR_N_MASK) != 0 ) in dump_guest_s1_walk()
/xen/xen/include/asm-arm/
A Ddomain.h146 register_t ttbcr; member
/xen/tools/libxc/
A Dxc_dom_arm.c138 ctxt->ttbcr = 0; /* Defined Reset Value */ in vcpu_arm32()
180 ctxt->ttbcr = 0; /* Defined Reset Value */ in vcpu_arm64()
/xen/xen/include/public/
A Dvm_event.h241 uint64_t ttbcr; member
A Darch-arm.h297 uint64_t ttbcr, ttbr0, ttbr1; member
/xen/tools/xentrace/
A Dxenctx.c681 printf("TTBCR: %016"PRIx64"\n", ctx->ttbcr); in print_ctx()

Completed in 18 milliseconds