Lines Matching refs:ctxt
130 vcpu_guest_context_t *ctxt = &any_ctx.c; in vcpu_arm32() local
136 memset(ctxt, 0, sizeof(*ctxt)); in vcpu_arm32()
138 ctxt->user_regs.pc32 = dom->parms.virt_entry; in vcpu_arm32()
141 ctxt->user_regs.r0_usr = 0; /* SBZ */ in vcpu_arm32()
143 ctxt->user_regs.r1_usr = 0xffffffff; in vcpu_arm32()
148 ctxt->user_regs.r2_usr = dom->devicetree_blob ? in vcpu_arm32()
151 ctxt->sctlr = SCTLR_GUEST_INIT; in vcpu_arm32()
153 ctxt->ttbr0 = 0; in vcpu_arm32()
154 ctxt->ttbr1 = 0; in vcpu_arm32()
155 ctxt->ttbcr = 0; /* Defined Reset Value */ in vcpu_arm32()
157 ctxt->user_regs.cpsr = PSR_GUEST32_INIT; in vcpu_arm32()
159 ctxt->flags = VGCF_online; in vcpu_arm32()
162 ctxt->user_regs.cpsr, ctxt->user_regs.pc32); in vcpu_arm32()
175 vcpu_guest_context_t *ctxt = &any_ctx.c; in vcpu_arm64() local
180 memset(ctxt, 0, sizeof(*ctxt)); in vcpu_arm64()
182 ctxt->user_regs.pc64 = dom->parms.virt_entry; in vcpu_arm64()
185 ctxt->user_regs.x0 = dom->devicetree_blob ? in vcpu_arm64()
187 ctxt->user_regs.x1 = 0; in vcpu_arm64()
188 ctxt->user_regs.x2 = 0; in vcpu_arm64()
189 ctxt->user_regs.x3 = 0; in vcpu_arm64()
191 DOMPRINTF("DTB %"PRIx64, ctxt->user_regs.x0); in vcpu_arm64()
193 ctxt->sctlr = SCTLR_GUEST_INIT; in vcpu_arm64()
195 ctxt->ttbr0 = 0; in vcpu_arm64()
196 ctxt->ttbr1 = 0; in vcpu_arm64()
197 ctxt->ttbcr = 0; /* Defined Reset Value */ in vcpu_arm64()
199 ctxt->user_regs.cpsr = PSR_GUEST64_INIT; in vcpu_arm64()
201 ctxt->flags = VGCF_online; in vcpu_arm64()
204 ctxt->user_regs.cpsr, ctxt->user_regs.pc64); in vcpu_arm64()