Lines Matching refs:ctxt
30 struct vcpu_guest_context *ctxt; in do_common_cpu_on() local
48 if ( (ctxt = alloc_vcpu_guest_context()) == NULL ) in do_common_cpu_on()
53 memset(ctxt, 0, sizeof(*ctxt)); in do_common_cpu_on()
54 ctxt->user_regs.pc64 = (u64) entry_point; in do_common_cpu_on()
55 ctxt->sctlr = SCTLR_GUEST_INIT; in do_common_cpu_on()
56 ctxt->ttbr0 = 0; in do_common_cpu_on()
57 ctxt->ttbr1 = 0; in do_common_cpu_on()
58 ctxt->ttbcr = 0; /* Defined Reset Value */ in do_common_cpu_on()
61 ctxt->user_regs.cpsr = PSR_GUEST32_INIT; in do_common_cpu_on()
63 ctxt->user_regs.r0_usr = context_id; in do_common_cpu_on()
68 ctxt->user_regs.cpsr = PSR_GUEST64_INIT; in do_common_cpu_on()
70 ctxt->user_regs.x0 = context_id; in do_common_cpu_on()
76 ctxt->user_regs.cpsr |= PSR_THUMB; in do_common_cpu_on()
77 ctxt->flags = VGCF_online; in do_common_cpu_on()
80 rc = arch_set_info_guest(v, ctxt); in do_common_cpu_on()
81 free_vcpu_guest_context(ctxt); in do_common_cpu_on()