Searched refs:VCPU_CTR0 (Results 1 – 5 of 5) sorted by relevance
| /freebsd/sys/dev/vmm/ |
| H A D | vmm_ktr.h | 39 #define VCPU_CTR0(vm, vcpuid, format) \ macro
|
| /freebsd/sys/amd64/vmm/amd/ |
| H A D | svm_softc.h | 78 VCPU_CTR0((vcpu)->sc->vm, (vcpu)->vcpuid, format)
|
| /freebsd/sys/amd64/vmm/intel/ |
| H A D | vmx.h | 153 VCPU_CTR0((vcpu)->vmx->vm, (vcpu)->vcpuid, format)
|
| /freebsd/sys/amd64/vmm/io/ |
| H A D | vlapic_priv.h | 87 VCPU_CTR0((vlapic)->vm, (vlapic)->vcpuid, format)
|
| /freebsd/sys/amd64/vmm/ |
| H A D | vmm.c | 179 VCPU_CTR0((vcpu)->vm, (vcpu)->vcpuid, format)
|