Lines Matching full:vcpu
46 struct vcpu;
126 struct vcpu *vm_vcpu_open(struct vmctx *ctx, int vcpuid);
127 void vm_vcpu_close(struct vcpu *vcpu);
128 int vcpu_id(struct vcpu *vcpu);
136 int vm_gla2gpa(struct vcpu *vcpu, struct vm_guest_paging *paging,
139 int vm_gla2gpa_nofault(struct vcpu *vcpu,
150 int vm_set_desc(struct vcpu *vcpu, int reg,
152 int vm_get_desc(struct vcpu *vcpu, int reg,
154 int vm_get_seg_desc(struct vcpu *vcpu, int reg, struct seg_desc *seg_desc);
156 int vm_set_register(struct vcpu *vcpu, int reg, uint64_t val);
157 int vm_get_register(struct vcpu *vcpu, int reg, uint64_t *retval);
158 int vm_set_register_set(struct vcpu *vcpu, unsigned int count,
160 int vm_get_register_set(struct vcpu *vcpu, unsigned int count,
162 int vm_run(struct vcpu *vcpu, struct vm_run *vmrun);
170 int vm_inject_exception(struct vcpu *vcpu, uint64_t esr, uint64_t far);
173 int vm_inject_exception(struct vcpu *vcpu, uint64_t scause);
181 int vm_inject_exception(struct vcpu *vcpu, int vector,
183 int vm_lapic_irq(struct vcpu *vcpu, int vector);
184 int vm_lapic_local_irq(struct vcpu *vcpu, int vector);
195 int vm_inject_nmi(struct vcpu *vcpu);
196 int vm_readwrite_kernemu_device(struct vcpu *vcpu,
201 int vm_get_capability(struct vcpu *vcpu, enum vm_cap_type cap,
203 int vm_set_capability(struct vcpu *vcpu, enum vm_cap_type cap,
218 int vm_get_intinfo(struct vcpu *vcpu, uint64_t *i1, uint64_t *i2);
219 int vm_set_intinfo(struct vcpu *vcpu, uint64_t exit_intinfo);
224 uint64_t *vm_get_stats(struct vcpu *vcpu, struct timeval *ret_tv,
229 int vm_get_x2apic_state(struct vcpu *vcpu, enum x2apic_state *s);
230 int vm_set_x2apic_state(struct vcpu *vcpu, enum x2apic_state s);
243 int vm_copy_setup(struct vcpu *vcpu, struct vm_guest_paging *pg,
259 /* Reset vcpu register state */
260 int vcpu_reset(struct vcpu *vcpu);
265 int vm_activate_cpu(struct vcpu *vcpu);
267 int vm_suspend_cpu(struct vcpu *vcpu);
269 int vm_resume_cpu(struct vcpu *vcpu);
270 int vm_restart_instruction(struct vcpu *vcpu);
281 int vm_setup_freebsd_registers(struct vcpu *vcpu,
284 int vm_setup_freebsd_registers_i386(struct vcpu *vcpu,