38 struct vcpu;
145 struct vcpu *vm_alloc_vcpu(struct vm *vm, int vcpuid);
158 int vm_get_register(struct vcpu *vcpu, int reg, uint64_t *retval);
159 int vm_set_register(struct vcpu *vcpu, int reg, uint64_t val);
160 int vm_run(struct vcpu *vcpu);
163 int vcpu_vcpuid(struct vcpu *vcpu);
164 void *vcpu_get_cookie(struct vcpu *vcpu);
165 struct vm *vcpu_vm(struct vcpu *vcpu);
166 struct vcpu *vm_vcpu(struct vm *vm, int cpu);
167 int vm_get_capability(struct vcpu *vcpu, int type, int *val);
168 int vm_set_capability(struct vcpu *vcpu, int type, int val);
169 int vm_activate_cpu(struct vcpu *vcpu);
170 int vm_suspend_cpu(struct vm *vm, struct vcpu *vcpu);
171 int vm_resume_cpu(struct vm *vm, struct vcpu *vcpu);
172 int vm_inject_exception(struct vcpu *vcpu, uint64_t esr, uint64_t far);
178 struct vm_exit *vm_exitinfo(struct vcpu *vcpu);
179 void vm_exit_suspended(struct vcpu *vcpu, uint64_t pc);
180 void vm_exit_debug(struct vcpu *vcpu, uint64_t pc);
181 void vm_exit_rendezvous(struct vcpu *vcpu, uint64_t pc);
182 void vm_exit_astpending(struct vcpu *vcpu, uint64_t pc);
202 int vcpu_debugged(struct vcpu *vcpu);
211 int vcpu_set_state(struct vcpu *vcpu, enum vcpu_state state, bool from_idle);
212 enum vcpu_state vcpu_get_state(struct vcpu *vcpu, int *hostcpu);
215 vcpu_is_running(struct vcpu *vcpu, int *hostcpu)  in vcpu_is_running()  argument
217 	return (vcpu_get_state(vcpu, hostcpu) == VCPU_RUNNING);  in vcpu_is_running()
222 vcpu_should_yield(struct vcpu *vcpu)  in vcpu_should_yield()  argument
231 void *vcpu_stats(struct vcpu *vcpu);
232 void vcpu_notify_event(struct vcpu *vcpu);