| /freebsd-11-stable/sys/amd64/include/xen/ |
| H A D | hypercall.h | 359 int cmd, unsigned int vcpuid, void *extra_args)
361 return _hypercall3(int, vcpu_op, cmd, vcpuid, extra_args);
358 HYPERVISOR_vcpu_op( int cmd, unsigned int vcpuid, void *extra_args) argument
|
| /freebsd-11-stable/sys/i386/include/xen/ |
| H A D | hypercall.h | 347 int cmd, int vcpuid, void *extra_args)
349 return _hypercall3(int, vcpu_op, cmd, vcpuid, extra_args);
346 HYPERVISOR_vcpu_op( int cmd, int vcpuid, void *extra_args) argument
|
| /freebsd-11-stable/sys/amd64/vmm/io/ |
| H A D | vatpit.c | 338 vatpit_handler(struct vm *vm, int vcpuid, bool in, int port, int bytes, argument
421 vatpit_nmisc_handler(struct vm *vm, int vcpuid, bool in, int port, int bytes, argument
|
| H A D | vatpic.c | 712 vatpic_master_handler(struct vm *vm, int vcpuid, bool in, int port, int bytes, argument
732 vatpic_slave_handler(struct vm *vm, int vcpuid, bool in, int port, int bytes, argument
752 vatpic_elc_handler(struct vm *vm, int vcpuid, bool in, int port, int bytes, argument
|
| H A D | vhpet.c | 470 vhpet_mmio_write(void *vm, int vcpuid, uint64_t gpa, uint64_t val, int size, argument
620 vhpet_mmio_read(void *vm, int vcpuid, uint64_t gpa, uint64_t *rval, int size, argument
|
| /freebsd-11-stable/sys/amd64/vmm/amd/ |
| H A D | svm.c | 1787 check_asid(struct svm_softc *sc, int vcpuid, pmap_t pmap, u_int thiscpu) argument
1797 vcpustate = svm_get_vcpu(sc, vcpuid);
1798 ctrl = svm_get_vmcb_ctrl(sc, vcpuid);
1873 svm_set_dirty(sc, vcpuid, VMCB_CACHE_ASID);
2287 svm_vlapic_init(void *arg, int vcpuid) argument
2295 vlapic->vcpuid = vcpuid;
2296 vlapic->apic_page = (struct LAPIC *)&svm_sc->apic_page[vcpuid];
|
| /freebsd-11-stable/sys/xen/interface/hvm/ |
| H A D | hvm_op.h | 185 uint32_t vcpuid; member in struct:xen_hvm_inject_trap
|
| /freebsd-11-stable/lib/libvmmapi/ |
| H A D | vmmapi.h | 112 int vm_gla2gpa(struct vmctx *, int vcpuid, struct vm_guest_paging *paging,
|
| H A D | vmmapi.c | 1186 gg.vcpuid = vcpu;
1325 ac.vcpuid = vcpu;
1337 vmii.vcpuid = vcpu;
1353 vmii.vcpuid = vcpu;
|
| /freebsd-11-stable/sys/amd64/vmm/ |
| H A D | vmm_dev.c | 592 error = vm_gla2gpa(sc->vm, gg->vcpuid, &gg->paging, gg->gla,
600 error = vm_activate_cpu(sc->vm, vac->vcpuid);
623 error = vm_exit_intinfo(sc->vm, vmii->vcpuid, vmii->info1);
627 error = vm_get_intinfo(sc->vm, vmii->vcpuid, &vmii->info1,
|
| H A D | x86.c | 597 vm_cpuid_capability(struct vm *vm, int vcpuid, enum vm_cpuid_capability cap) argument
|
| /freebsd-11-stable/sys/dev/hyperv/vmbus/ |
| H A D | vmbus.c | 719 VMBUS_PCPU_GET(sc, vcpuid, cpu) = rdmsr(MSR_HV_VP_INDEX);
722 VMBUS_PCPU_GET(sc, vcpuid, cpu) = 0;
1150 return (VMBUS_PCPU_GET(sc, vcpuid, cpu));
|
| H A D | vmbus_chan.c | 1657 chan->ch_vcpuid = VMBUS_PCPU_GET(chan->ch_vmbus, vcpuid, cpu);
|