45 struct vcpu;
126 struct vcpu *vm_alloc_vcpu(struct vm *vm, int vcpuid);
156 void *vm_gpa_hold(struct vcpu *vcpu, vm_paddr_t gpa, size_t len,
161 bool vm_mem_allocated(struct vcpu *vcpu, vm_paddr_t gpa);
163 int vm_gla2gpa_nofault(struct vcpu *vcpu, struct vm_guest_paging *paging,
171 int vm_get_register(struct vcpu *vcpu, int reg, uint64_t *retval);
172 int vm_set_register(struct vcpu *vcpu, int reg, uint64_t val);
173 int vm_run(struct vcpu *vcpu);
176 int vcpu_vcpuid(struct vcpu *vcpu);
177 void *vcpu_get_cookie(struct vcpu *vcpu);
178 struct vm *vcpu_vm(struct vcpu *vcpu);
179 struct vcpu *vm_vcpu(struct vm *vm, int cpu);
180 int vm_get_capability(struct vcpu *vcpu, int type, int *val);
181 int vm_set_capability(struct vcpu *vcpu, int type, int val);
182 int vm_activate_cpu(struct vcpu *vcpu);
183 int vm_suspend_cpu(struct vm *vm, struct vcpu *vcpu);
184 int vm_resume_cpu(struct vm *vm, struct vcpu *vcpu);
185 int vm_inject_exception(struct vcpu *vcpu, uint64_t scause);
191 struct vm_exit *vm_exitinfo(struct vcpu *vcpu);
192 void vm_exit_suspended(struct vcpu *vcpu, uint64_t pc);
193 void vm_exit_debug(struct vcpu *vcpu, uint64_t pc);
194 void vm_exit_rendezvous(struct vcpu *vcpu, uint64_t pc);
195 void vm_exit_astpending(struct vcpu *vcpu, uint64_t pc);
215 int vcpu_debugged(struct vcpu *vcpu);
224 int vcpu_set_state(struct vcpu *vcpu, enum vcpu_state state, bool from_idle);
225 enum vcpu_state vcpu_get_state(struct vcpu *vcpu, int *hostcpu);
228 vcpu_is_running(struct vcpu *vcpu, int *hostcpu)  in vcpu_is_running()  argument
230 	return (vcpu_get_state(vcpu, hostcpu) == VCPU_RUNNING);  in vcpu_is_running()
235 vcpu_should_yield(struct vcpu *vcpu)  in vcpu_should_yield()  argument
244 void *vcpu_stats(struct vcpu *vcpu);
245 void vcpu_notify_event(struct vcpu *vcpu);