36 struct vcpu;
181 DECLARE_VMMOPS_FUNC(void *, vcpu_init, (void *vmi, struct vcpu *vcpu,
236 int vm_get_register(struct vcpu *vcpu, int reg, uint64_t *retval);
237 int vm_set_register(struct vcpu *vcpu, int reg, uint64_t val);
238 int vm_get_seg_desc(struct vcpu *vcpu, int reg,
240 int vm_set_seg_desc(struct vcpu *vcpu, int reg,
242 int vm_run(struct vcpu *vcpu);
243 int vm_inject_nmi(struct vcpu *vcpu);
244 int vm_nmi_pending(struct vcpu *vcpu);
245 void vm_nmi_clear(struct vcpu *vcpu);
246 int vm_inject_extint(struct vcpu *vcpu);
247 int vm_extint_pending(struct vcpu *vcpu);
248 void vm_extint_clear(struct vcpu *vcpu);
249 struct vlapic *vm_lapic(struct vcpu *vcpu);
252 int vm_get_capability(struct vcpu *vcpu, int type, int *val);
253 int vm_set_capability(struct vcpu *vcpu, int type, int val);
254 int vm_get_x2apic_state(struct vcpu *vcpu, enum x2apic_state *state);
255 int vm_set_x2apic_state(struct vcpu *vcpu, enum x2apic_state state);
257 int vm_restart_instruction(struct vcpu *vcpu);
258 struct vm_exit *vm_exitinfo(struct vcpu *vcpu);
259 cpuset_t *vm_exitinfo_cpuset(struct vcpu *vcpu);
260 void vm_exit_suspended(struct vcpu *vcpu, uint64_t rip);
261 void vm_exit_debug(struct vcpu *vcpu, uint64_t rip);
262 void vm_exit_rendezvous(struct vcpu *vcpu, uint64_t rip);
263 void vm_exit_astpending(struct vcpu *vcpu, uint64_t rip);
264 void vm_exit_reqidle(struct vcpu *vcpu, uint64_t rip);
283 void vcpu_notify_lapic(struct vcpu *vcpu);
290  * Inject exception 'vector' into the guest vcpu. This function returns 0 on
298  * executing this vcpu.
300 int vm_inject_exception(struct vcpu *vcpu, int vector, int err_valid,
316 int vm_exit_intinfo(struct vcpu *vcpu, uint64_t intinfo);
326 int vm_entry_intinfo(struct vcpu *vcpu, uint64_t *info);
328 int vm_get_intinfo(struct vcpu *vcpu, uint64_t *info1, uint64_t *info2);
335 void vm_set_tsc_offset(struct vcpu *vcpu, uint64_t offset);
360 int vm_copy_setup(struct vcpu *vcpu, struct vm_guest_paging *paging,
367 int vcpu_trace_exceptions(struct vcpu *vcpu);
368 int vcpu_trap_wbinvd(struct vcpu *vcpu);
637 			int		vcpu;  member
652 			 * The destination vCPU mask is saved in vcpu->cpuset
664 void vm_inject_fault(struct vcpu *vcpu, int vector, int errcode_valid,
668 vm_inject_ud(struct vcpu *vcpu)  in vm_inject_ud()  argument
670 	vm_inject_fault(vcpu, IDT_UD, 0, 0);  in vm_inject_ud()
674 vm_inject_gp(struct vcpu *vcpu)  in vm_inject_gp()  argument
676 	vm_inject_fault(vcpu, IDT_GP, 1, 0);  in vm_inject_gp()
680 vm_inject_ac(struct vcpu *vcpu, int errcode)  in vm_inject_ac()  argument
682 	vm_inject_fault(vcpu, IDT_AC, 1, errcode);  in vm_inject_ac()
686 vm_inject_ss(struct vcpu *vcpu, int errcode)  in vm_inject_ss()  argument
688 	vm_inject_fault(vcpu, IDT_SS, 1, errcode);  in vm_inject_ss()
691 void vm_inject_pf(struct vcpu *vcpu, int error_code, uint64_t cr2);