arm64/include/vmm.h

38 struct vcpu;
129 struct vcpu *vm_alloc_vcpu(struct vm *vm, int vcpuid);
150  * APIs that inspect the guest memory map require only a *single* vcpu to
159 void *vm_gpa_hold(struct vcpu *vcpu, vm_paddr_t gpa, size_t len,
164 bool vm_mem_allocated(struct vcpu *vcpu, vm_paddr_t gpa);
166 int vm_gla2gpa_nofault(struct vcpu *vcpu, struct vm_guest_paging *paging,
174 int vm_get_register(struct vcpu *vcpu, int reg, uint64_t *retval);
175 int vm_set_register(struct vcpu *vcpu, int reg, uint64_t val);
176 int vm_run(struct vcpu *vcpu);
179 int vcpu_vcpuid(struct vcpu *vcpu);
180 void *vcpu_get_cookie(struct vcpu *vcpu);
181 struct vm *vcpu_vm(struct vcpu *vcpu);
182 struct vcpu *vm_vcpu(struct vm *vm, int cpu);
183 int vm_get_capability(struct vcpu *vcpu, int type, int *val);
184 int vm_set_capability(struct vcpu *vcpu, int type, int val);
185 int vm_activate_cpu(struct vcpu *vcpu);
186 int vm_suspend_cpu(struct vm *vm, struct vcpu *vcpu);
187 int vm_resume_cpu(struct vm *vm, struct vcpu *vcpu);
188 int vm_inject_exception(struct vcpu *vcpu, uint64_t esr, uint64_t far);
194 struct vm_exit *vm_exitinfo(struct vcpu *vcpu);
195 void vm_exit_suspended(struct vcpu *vcpu, uint64_t pc);
196 void vm_exit_debug(struct vcpu *vcpu, uint64_t pc);
197 void vm_exit_rendezvous(struct vcpu *vcpu, uint64_t pc);
198 void vm_exit_astpending(struct vcpu *vcpu, uint64_t pc);
218 int vcpu_debugged(struct vcpu *vcpu);
227 int vcpu_set_state(struct vcpu *vcpu, enum vcpu_state state, bool from_idle);
228 enum vcpu_state vcpu_get_state(struct vcpu *vcpu, int *hostcpu);
231 vcpu_is_running(struct vcpu *vcpu, int *hostcpu)
233 	return (vcpu_get_state(vcpu, hostcpu) == VCPU_RUNNING);
238 vcpu_should_yield(struct vcpu *vcpu)
247 void *vcpu_stats(struct vcpu *vcpu);
248 void vcpu_notify_event(struct vcpu *vcpu);