Searched refs:ttbcr (Results 1 – 11 of 11) sorted by relevance
40 register_t ttbcr = READ_SYSREG(TCR_EL1); in guest_walk_sd() local41 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()
198 ctxt->ttbcr = v->arch.ttbcr; in arch_get_info_guest()
30 req->data.regs.arm.ttbcr = READ_SYSREG(TCR_EL1); in vm_event_fill_regs()
131 p->arch.ttbcr = READ_SYSREG(TCR_EL1); in ctxt_switch_from()211 WRITE_SYSREG(n->arch.ttbcr, TCR_EL1); in ctxt_switch_to()802 v->arch.ttbcr = ctxt->ttbcr; in arch_set_info_guest()
58 ctxt->ttbcr = 0; /* Defined Reset Value */ in do_common_cpu_on()
1010 ctxt.tcr_el1 = v->arch.ttbcr; in vcpu_show_registers()1762 register_t ttbcr = READ_SYSREG(TCR_EL1); in dump_guest_s1_walk() local1771 printk(" TTBCR: 0x%08"PRIregister"\n", ttbcr); in dump_guest_s1_walk()1775 if ( ttbcr & TTBCR_EAE ) in dump_guest_s1_walk()1780 if ( (ttbcr & TTBCR_N_MASK) != 0 ) in dump_guest_s1_walk()
207 uint64_t ttbcr; member
295 uint64_t ttbcr, ttbr0, ttbr1; member
205 register_t ttbcr; member
155 ctxt->ttbcr = 0; /* Defined Reset Value */ in vcpu_arm32()197 ctxt->ttbcr = 0; /* Defined Reset Value */ in vcpu_arm64()
679 printf("TTBCR: %016"PRIx64"\n", ctx->ttbcr); in print_ctx()
Completed in 19 milliseconds