Lines Matching refs:user_regs
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()
157 ctxt->user_regs.cpsr = PSR_GUEST32_INIT; in vcpu_arm32()
162 ctxt->user_regs.cpsr, ctxt->user_regs.pc32); in vcpu_arm32()
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()
199 ctxt->user_regs.cpsr = PSR_GUEST64_INIT; in vcpu_arm64()
204 ctxt->user_regs.cpsr, ctxt->user_regs.pc64); in vcpu_arm64()