Lines Matching refs:vcpu
145 fbl::unique_ptr<Vcpu> vcpu(new (&ac) Vcpu(guest, vpid, thread));
151 timer_init(&vcpu->gich_state_.timer);
152 status = vcpu->gich_state_.interrupt_tracker.Init();
157 status = vcpu->el2_state_.Alloc();
163 vcpu->gich_state_.active_interrupts.Reset(kNumInterrupts);
164 vcpu->gich_state_.num_lrs = gic_get_num_lrs();
165 vcpu->gich_state_.vmcr = gic_default_gich_vmcr();
166 vcpu->gich_state_.elrsr = gic_read_gich_elrsr();
167 vcpu->gich_state_.apr = 0;
168 vcpu->el2_state_->guest_state.system_state.elr_el2 = entry;
169 vcpu->el2_state_->guest_state.system_state.spsr_el2 = kSpsrDaif | kSpsrEl1h;
171 vcpu->el2_state_->guest_state.system_state.vmpidr_el2 = vmpidr_of(vpid, mpidr);
172 vcpu->el2_state_->host_state.system_state.vmpidr_el2 = mpidr;
173 vcpu->hcr_ = HCR_EL2_VM | HCR_EL2_PTW | HCR_EL2_IMO | HCR_EL2_DC | HCR_EL2_TWI | HCR_EL2_TWE |
176 *out = fbl::move(vcpu);