Home
last modified time | relevance | path

Searched refs:vcpu (Results 1 – 25 of 99) sorted by relevance

1234

/freebsd/sys/amd64/vmm/amd/
H A Dsvm.c289 svm_set_tsc_offset(struct svm_vcpu *vcpu, uint64_t offset) in svm_set_tsc_offset() argument
293 ctrl = svm_get_vmcb_ctrl(vcpu); in svm_set_tsc_offset()
296 svm_set_dirty(vcpu, VMCB_CACHE_I); in svm_set_tsc_offset()
297 SVM_CTR1(vcpu, "tsc offset changed to %#lx", offset); in svm_set_tsc_offset()
299 vm_set_tsc_offset(vcpu->vcpu, offset); in svm_set_tsc_offset()
385 svm_get_intercept(struct svm_vcpu *vcpu, int idx, uint32_t bitmask) in svm_get_intercept() argument
391 ctrl = svm_get_vmcb_ctrl(vcpu); in svm_get_intercept()
396 svm_set_intercept(struct svm_vcpu *vcpu, int idx, uint32_t bitmask, int enabled) in svm_set_intercept() argument
403 ctrl = svm_get_vmcb_ctrl(vcpu); in svm_set_intercept()
412 svm_set_dirty(vcpu, VMCB_CACHE_I); in svm_set_intercept()
[all …]
H A Dsvm_softc.h52 struct vcpu *vcpu; member
77 #define SVM_CTR0(vcpu, format) \ argument
78 VCPU_CTR0((vcpu)->sc->vm, (vcpu)->vcpuid, format)
80 #define SVM_CTR1(vcpu, format, p1) \ argument
81 VCPU_CTR1((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1)
83 #define SVM_CTR2(vcpu, format, p1, p2) \ argument
84 VCPU_CTR2((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1, p2)
86 #define SVM_CTR3(vcpu, format, p1, p2, p3) \ argument
87 VCPU_CTR3((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1, p2, p3)
89 #define SVM_CTR4(vcpu, format, p1, p2, p3, p4) \ argument
[all …]
H A Dvmcb.c118 vmcb_access(struct svm_vcpu *vcpu, int write, int ident, uint64_t *val) in vmcb_access() argument
124 vmcb = svm_get_vmcb(vcpu); in vmcb_access()
147 SVM_CTR1(vcpu, "Invalid size %d for VMCB access: %d", bytes); in vmcb_access()
153 svm_set_dirty(vcpu, 0xffffffff); in vmcb_access()
162 vmcb_read(struct svm_vcpu *vcpu, int ident, uint64_t *retval) in vmcb_read() argument
169 vmcb = svm_get_vmcb(vcpu); in vmcb_read()
174 return (vmcb_access(vcpu, 0, ident, retval)); in vmcb_read()
248 *retval = vlapic_get_cr8(vm_lapic(vcpu->vcpu)); in vmcb_read()
268 vmcb_write(struct svm_vcpu *vcpu, int ident, uint64_t val) in vmcb_write() argument
275 vmcb = svm_get_vmcb(vcpu); in vmcb_write()
[all …]
/freebsd/sys/amd64/vmm/
H A Dvmm.c102 struct vcpu { struct
187 struct vcpu **vcpu; /* (o) guest vcpus */ member
197 #define VMM_CTR0(vcpu, format) \ argument
198 VCPU_CTR0((vcpu)->vm, (vcpu)->vcpuid, format)
200 #define VMM_CTR1(vcpu, format, p1) \ argument
201 VCPU_CTR1((vcpu)->vm, (vcpu)->vcpuid, format, p1)
203 #define VMM_CTR2(vcpu, format, p1, p2) \ argument
204 VCPU_CTR2((vcpu)->vm, (vcpu)->vcpuid, format, p1, p2)
206 #define VMM_CTR3(vcpu, format, p1, p2, p3) \ argument
207 VCPU_CTR3((vcpu)->vm, (vcpu)->vcpuid, format, p1, p2, p3)
[all …]
H A Dvmm_lapic.h32 struct vcpu;
36 int lapic_rdmsr(struct vcpu *vcpu, u_int msr, uint64_t *rval, bool *retu);
37 int lapic_wrmsr(struct vcpu *vcpu, u_int msr, uint64_t wval, bool *retu);
39 int lapic_mmio_read(struct vcpu *vcpu, uint64_t gpa,
41 int lapic_mmio_write(struct vcpu *vcpu, uint64_t gpa,
48 int lapic_set_intr(struct vcpu *vcpu, int vector, bool trig);
53 lapic_intr_level(struct vcpu *vcpu, int vector) in lapic_intr_level() argument
56 return (lapic_set_intr(vcpu, vector, LAPIC_TRIG_LEVEL)); in lapic_intr_level()
60 lapic_intr_edge(struct vcpu *vcpu, int vector) in lapic_intr_edge() argument
63 return (lapic_set_intr(vcpu, vector, LAPIC_TRIG_EDGE)); in lapic_intr_edge()
[all …]
H A Dvmm_instruction_emul.c289 vie_read_register(struct vcpu *vcpu, enum vm_reg_name reg, uint64_t *rval) in vie_read_register() argument
293 error = vm_get_register(vcpu, reg, rval); in vie_read_register()
325 vie_read_bytereg(struct vcpu *vcpu, struct vie *vie, uint8_t *rval) in vie_read_bytereg() argument
332 error = vm_get_register(vcpu, reg, &val); in vie_read_bytereg()
346 vie_write_bytereg(struct vcpu *vcpu, struct vie *vie, uint8_t byte) in vie_write_bytereg() argument
353 error = vm_get_register(vcpu, reg, &origval); in vie_write_bytereg()
366 error = vm_set_register(vcpu, reg, val); in vie_write_bytereg()
372 vie_update_register(struct vcpu *vcpu, enum vm_reg_name reg, in vie_update_register() argument
381 error = vie_read_register(vcpu, reg, &origval); in vie_update_register()
396 error = vm_set_register(vcpu, reg, val); in vie_update_register()
[all …]
H A Dvmm_lapic.c51 lapic_set_intr(struct vcpu *vcpu, int vector, bool level) in lapic_set_intr() argument
62 vlapic = vm_lapic(vcpu); in lapic_set_intr()
64 vcpu_notify_event(vcpu, true); in lapic_set_intr()
69 lapic_set_local_intr(struct vm *vm, struct vcpu *vcpu, int vector) in lapic_set_local_intr() argument
75 if (vcpu == NULL) { in lapic_set_local_intr()
85 vlapic = vm_lapic(vcpu); in lapic_set_local_intr()
151 lapic_rdmsr(struct vcpu *vcpu, u_int msr, uint64_t *rval, bool *retu) in lapic_rdmsr() argument
157 vlapic = vm_lapic(vcpu); in lapic_rdmsr()
171 lapic_wrmsr(struct vcpu *vcpu, u_int msr, uint64_t val, bool *retu) in lapic_wrmsr() argument
177 vlapic = vm_lapic(vcpu); in lapic_wrmsr()
[all …]
/freebsd/sys/riscv/vmm/
H A Dvmm.c80 struct vcpu { struct
146 struct vcpu **vcpu; /* (i) guest vcpus */ member
177 static void vcpu_notify_event_locked(struct vcpu *vcpu);
191 vcpu_cleanup(struct vcpu *vcpu, bool destroy) in vcpu_cleanup() argument
193 vmmops_vcpu_cleanup(vcpu->cookie); in vcpu_cleanup()
194 vcpu->cookie = NULL; in vcpu_cleanup()
196 vmm_stat_free(vcpu->stats); in vcpu_cleanup()
197 fpu_save_area_free(vcpu->guestfpu); in vcpu_cleanup()
198 vcpu_lock_destroy(vcpu); in vcpu_cleanup()
202 static struct vcpu *
[all …]
/freebsd/sys/amd64/include/
H A Dvmm.h36 struct vcpu;
178 typedef void * (*vmi_vcpu_init_func_t)(void *vmi, struct vcpu *vcpu,
226 struct vcpu *vm_alloc_vcpu(struct vm *vm, int vcpuid);
265 void *vm_gpa_hold(struct vcpu *vcpu, vm_paddr_t gpa, size_t len,
270 bool vm_mem_allocated(struct vcpu *vcpu, vm_paddr_t gpa);
272 int vm_get_register(struct vcpu *vcpu, int reg, uint64_t *retval);
273 int vm_set_register(struct vcpu *vcpu, int reg, uint64_t val);
274 int vm_get_seg_desc(struct vcpu *vcpu, int reg,
276 int vm_set_seg_desc(struct vcpu *vcpu, int reg,
278 int vm_run(struct vcpu *vcpu);
[all …]
H A Dvmm_instruction_emul.h37 typedef int (*mem_region_read_t)(struct vcpu *vcpu, uint64_t gpa,
40 typedef int (*mem_region_write_t)(struct vcpu *vcpu, uint64_t gpa,
54 int vmm_emulate_instruction(struct vcpu *vcpu, uint64_t gpa, struct vie *vie,
58 int vie_update_register(struct vcpu *vcpu, enum vm_reg_name reg,
82 int vmm_fetch_instruction(struct vcpu *vcpu,
95 int vm_gla2gpa(struct vcpu *vcpu, struct vm_guest_paging *paging,
102 int vm_gla2gpa_nofault(struct vcpu *vcpu, struct vm_guest_paging *paging,
122 int vmm_decode_instruction(struct vcpu *vcpu, uint64_t gla,
/freebsd/sys/arm64/vmm/
H A Dvmm.c76 struct vcpu { struct
151 struct vcpu **vcpu; /* (i) guest vcpus */ member
166 static int vm_handle_wfi(struct vcpu *vcpu,
240 static void vcpu_notify_event_locked(struct vcpu *vcpu);
290 vcpu_cleanup(struct vcpu *vcpu, bool destroy) in vcpu_cleanup() argument
292 vmmops_vcpu_cleanup(vcpu->cookie); in vcpu_cleanup()
293 vcpu->cookie = NULL; in vcpu_cleanup()
295 vmm_stat_free(vcpu->stats); in vcpu_cleanup()
296 fpu_save_area_free(vcpu->guestfpu); in vcpu_cleanup()
297 vcpu_lock_destroy(vcpu); in vcpu_cleanup()
[all …]
/freebsd/lib/libvmmapi/
H A Dvmmapi.h46 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);
[all …]
/freebsd/usr.sbin/bhyve/amd64/
H A Dtask_switch.c100 GETREG(struct vcpu *vcpu, int reg) in GETREG() argument
105 error = vm_get_register(vcpu, reg, &val); in GETREG()
111 SETREG(struct vcpu *vcpu, int reg, uint64_t val) in SETREG() argument
115 error = vm_set_register(vcpu, reg, val); in SETREG()
151 sel_exception(struct vcpu *vcpu, int vector, uint16_t sel, int ext) in sel_exception() argument
165 vm_inject_fault(vcpu, vector, 1, sel); in sel_exception()
173 desc_table_limit_check(struct vcpu *vcpu, uint16_t sel) in desc_table_limit_check() argument
180 error = vm_get_desc(vcpu, reg, &base, &limit, &access); in desc_table_limit_check()
203 desc_table_rw(struct vcpu *vcpu, struct vm_guest_paging *paging, in desc_table_rw() argument
213 error = vm_get_desc(vcpu, reg, &base, &limit, &access); in desc_table_rw()
[all …]
H A Dvmexit.c60 vm_inject_fault(struct vcpu *vcpu, int vector, int errcode_valid, in vm_inject_fault() argument
67 error = vm_inject_exception(vcpu, vector, errcode_valid, errcode, in vm_inject_fault()
73 vmexit_inout(struct vmctx *ctx, struct vcpu *vcpu, struct vm_run *vmrun) in vmexit_inout() argument
84 error = emulate_inout(ctx, vcpu, vme); in vmexit_inout()
97 vmexit_rdmsr(struct vmctx *ctx __unused, struct vcpu *vcpu, in vmexit_rdmsr() argument
108 error = emulate_rdmsr(vcpu, vme->u.msr.code, &val); in vmexit_rdmsr()
111 vme->u.msr.code, vcpu_id(vcpu)); in vmexit_rdmsr()
113 vm_inject_gp(vcpu); in vmexit_rdmsr()
119 error = vm_set_register(vcpu, VM_REG_GUEST_RAX, eax); in vmexit_rdmsr()
123 error = vm_set_register(vcpu, VM_REG_GUEST_RDX, edx); in vmexit_rdmsr()
[all …]
H A Dbhyverun_machdep.c260 bhyve_init_vcpu(struct vcpu *vcpu) in bhyve_init_vcpu() argument
265 err = vm_get_capability(vcpu, VM_CAP_HALT_EXIT, &tmp); in bhyve_init_vcpu()
270 vm_set_capability(vcpu, VM_CAP_HALT_EXIT, 1); in bhyve_init_vcpu()
277 err = vm_get_capability(vcpu, VM_CAP_PAUSE_EXIT, &tmp); in bhyve_init_vcpu()
282 vm_set_capability(vcpu, VM_CAP_PAUSE_EXIT, 1); in bhyve_init_vcpu()
286 err = vm_set_x2apic_state(vcpu, X2APIC_ENABLED); in bhyve_init_vcpu()
288 err = vm_set_x2apic_state(vcpu, X2APIC_DISABLED); in bhyve_init_vcpu()
295 vm_set_capability(vcpu, VM_CAP_ENABLE_INVPCID, 1); in bhyve_init_vcpu()
297 err = vm_set_capability(vcpu, VM_CAP_IPI_EXIT, 1); in bhyve_init_vcpu()
302 bhyve_start_vcpu(struct vcpu *vcpu, bool bsp) in bhyve_start_vcpu() argument
[all …]
/freebsd/sys/riscv/include/
H A Dvmm.h45 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);
[all …]
/freebsd/sys/arm64/include/
H A Dvmm.h38 struct vcpu;
145 struct vcpu *vm_alloc_vcpu(struct vm *vm, int vcpuid);
175 void *vm_gpa_hold(struct vcpu *vcpu, vm_paddr_t gpa, size_t len,
180 bool vm_mem_allocated(struct vcpu *vcpu, vm_paddr_t gpa);
182 int vm_gla2gpa_nofault(struct vcpu *vcpu, struct vm_guest_paging *paging,
190 int vm_get_register(struct vcpu *vcpu, int reg, uint64_t *retval);
191 int vm_set_register(struct vcpu *vcpu, int reg, uint64_t val);
192 int vm_run(struct vcpu *vcpu);
195 int vcpu_vcpuid(struct vcpu *vcpu);
196 void *vcpu_get_cookie(struct vcpu *vcpu);
[all …]
/freebsd/sys/amd64/vmm/intel/
H A Dvmx.c1122 vmx_vcpu_init(void *vmi, struct vcpu *vcpu1, int vcpuid) in vmx_vcpu_init()
1126 struct vmx_vcpu *vcpu; in vmx_vcpu_init() local
1133 vcpu = malloc(sizeof(*vcpu), M_VMX, M_WAITOK | M_ZERO); in vmx_vcpu_init()
1134 vcpu->vmx = vmx; in vmx_vcpu_init()
1135 vcpu->vcpu = vcpu1; in vmx_vcpu_init()
1136 vcpu->vcpuid = vcpuid; in vmx_vcpu_init()
1137 vcpu->vmcs = malloc_aligned(sizeof(*vmcs), PAGE_SIZE, M_VMX, in vmx_vcpu_init()
1139 vcpu->apic_page = malloc_aligned(PAGE_SIZE, PAGE_SIZE, M_VMX, in vmx_vcpu_init()
1141 vcpu->pir_desc = malloc_aligned(sizeof(*vcpu->pir_desc), 64, M_VMX, in vmx_vcpu_init()
1144 vmcs = vcpu->vmcs; in vmx_vcpu_init()
[all …]
H A Dvmx_msr.c312 vmx_msr_guest_init(struct vmx *vmx, struct vmx_vcpu *vcpu) in vmx_msr_guest_init() argument
318 if (vcpu->vcpuid == 0) { in vmx_msr_guest_init()
329 vcpu->guest_msrs[IDX_MSR_PAT] = PAT_VALUE(0, PAT_WRITE_BACK) | in vmx_msr_guest_init()
342 vmx_msr_guest_enter(struct vmx_vcpu *vcpu) in vmx_msr_guest_enter() argument
347 wrmsr(MSR_LSTAR, vcpu->guest_msrs[IDX_MSR_LSTAR]); in vmx_msr_guest_enter()
348 wrmsr(MSR_CSTAR, vcpu->guest_msrs[IDX_MSR_CSTAR]); in vmx_msr_guest_enter()
349 wrmsr(MSR_STAR, vcpu->guest_msrs[IDX_MSR_STAR]); in vmx_msr_guest_enter()
350 wrmsr(MSR_SF_MASK, vcpu->guest_msrs[IDX_MSR_SF_MASK]); in vmx_msr_guest_enter()
351 wrmsr(MSR_KGSBASE, vcpu->guest_msrs[IDX_MSR_KGSBASE]); in vmx_msr_guest_enter()
355 vmx_msr_guest_enter_tsc_aux(struct vmx *vmx, struct vmx_vcpu *vcpu) in vmx_msr_guest_enter_tsc_aux() argument
[all …]
/freebsd/usr.sbin/bhyve/aarch64/
H A Dvmexit.c60 vmexit_inst_emul(struct vmctx *ctx __unused, struct vcpu *vcpu, in vmexit_inst_emul() argument
70 err = emulate_mem(vcpu, vme->u.inst_emul.gpa, vie, in vmexit_inst_emul()
89 vmexit_reg_emul(struct vmctx *ctx __unused, struct vcpu *vcpu __unused, in vmexit_reg_emul()
104 vmexit_suspend(struct vmctx *ctx, struct vcpu *vcpu, struct vm_run *vmrun) in vmexit_suspend() argument
108 int vcpuid = vcpu_id(vcpu); in vmexit_suspend()
132 vmexit_debug(struct vmctx *ctx __unused, struct vcpu *vcpu, in vmexit_debug() argument
135 gdb_cpu_suspend(vcpu); in vmexit_debug()
145 vmexit_bogus(struct vmctx *ctx __unused, struct vcpu *vcpu __unused, in vmexit_bogus()
173 for (int vcpu = 0; vcpu < guest_ncpus; vcpu++) { in smccc_affinity_info() local
175 cpu_aff = (vcpu & 0xf) << MPIDR_AFF0_SHIFT | in smccc_affinity_info()
[all …]
/freebsd/usr.sbin/bhyve/
H A Dbhyverun.c111 static void vm_loop(struct vmctx *ctx, struct vcpu *vcpu);
115 struct vcpu *vcpu; member
245 int vcpu, pcpu; in bhyve_pincpu_parse() local
247 if (sscanf(opt, "%d:%d", &vcpu, &pcpu) != 2) { in bhyve_pincpu_parse()
252 if (vcpu < 0) { in bhyve_pincpu_parse()
253 fprintf(stderr, "invalid vcpu '%d'\n", vcpu); in bhyve_pincpu_parse()
263 snprintf(key, sizeof(key), "vcpu.%d.cpuset", vcpu); in bhyve_pincpu_parse()
278 parse_cpuset(int vcpu, const char *list, cpuset_t *set) in parse_cpuset() argument
289 errx(4, "invalid cpuset for vcpu %d: '%s'", vcpu, list); in parse_cpuset()
311 vcpu, list); in parse_cpuset()
[all …]
H A Dgdb.h31 void gdb_cpu_add(struct vcpu *vcpu);
32 void gdb_cpu_breakpoint(struct vcpu *vcpu, struct vm_exit *vmexit);
33 void gdb_cpu_mtrap(struct vcpu *vcpu);
34 void gdb_cpu_suspend(struct vcpu *vcpu);
35 void gdb_cpu_debug(struct vcpu *vcpu, struct vm_exit *vmexit);
/freebsd/sys/arm64/vmm/io/
H A Dvtimer.c93 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_virtual_timer_intr()
244 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_sync_hwstate()
247 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_sync_hwstate()
250 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_sync_hwstate()
262 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_inject_irq_callout_phys()
272 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_inject_irq_callout_virt()
292 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), in vtimer_schedule_irq()
307 vtimer_remove_irq(struct hypctx *hypctx, struct vcpu *vcpu) in vtimer_remove_irq() argument
322 vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(vcpu), timer->irqid, false); in vtimer_remove_irq()
337 vtimer_phys_ctl_read(struct vcpu *vcpu, uint64_t *rval, void *arg) in vtimer_phys_ctl_read() argument
[all …]
/freebsd/usr.sbin/bhyve/riscv/
H A Dvmexit.c74 vmexit_inst_emul(struct vmctx *ctx __unused, struct vcpu *vcpu, in vmexit_inst_emul() argument
84 err = emulate_mem(vcpu, vme->u.inst_emul.gpa, vie, in vmexit_inst_emul()
103 vmexit_suspend(struct vmctx *ctx, struct vcpu *vcpu, struct vm_run *vmrun) in vmexit_suspend() argument
107 int vcpuid = vcpu_id(vcpu); in vmexit_suspend()
134 vmexit_debug(struct vmctx *ctx __unused, struct vcpu *vcpu __unused, in vmexit_debug()
142 vmexit_bogus(struct vmctx *ctx __unused, struct vcpu *vcpu __unused, in vmexit_bogus()
176 vmexit_ecall_hsm(struct vmctx *ctx __unused, struct vcpu *vcpu __unused, in vmexit_ecall_hsm()
179 struct vcpu *newvcpu; in vmexit_ecall_hsm()
230 error = vm_set_register(vcpu, VM_REG_GUEST_A0, ret); in vmexit_ecall_hsm()
235 vmexit_ecall_base(struct vmctx *ctx __unused, struct vcpu *vcpu, in vmexit_ecall_base() argument
[all …]
/freebsd/sys/dev/vmm/
H A Dvmm_stat.h40 typedef void (*vmm_stat_func_t)(struct vcpu *vcpu,
85 int vmm_stat_copy(struct vcpu *vcpu, int index, int count,
90 vmm_stat_array_incr(struct vcpu *vcpu, struct vmm_stat_type *vst, int statidx, in vmm_stat_array_incr() argument
96 stats = vcpu_stats(vcpu); in vmm_stat_array_incr()
104 vmm_stat_array_set(struct vcpu *vcpu, struct vmm_stat_type *vst, int statidx, in vmm_stat_array_set() argument
110 stats = vcpu_stats(vcpu); in vmm_stat_array_set()
118 vmm_stat_incr(struct vcpu *vcpu, struct vmm_stat_type *vst, uint64_t x) in vmm_stat_incr() argument
122 vmm_stat_array_incr(vcpu, vst, 0, x); in vmm_stat_incr()
127 vmm_stat_set(struct vcpu *vcpu, struct vmm_stat_type *vst, uint64_t val) in vmm_stat_set() argument
131 vmm_stat_array_set(vcpu, vst, 0, val); in vmm_stat_set()

1234