Searched refs:VCPU_CTR4 (Results 1 – 5 of 5) sorted by relevance
| /freebsd/sys/dev/vmm/ |
| H A D | vmm_ktr.h | 51 #define VCPU_CTR4(vm, vcpuid, format, p1, p2, p3, p4) \ macro
|
| /freebsd/sys/amd64/vmm/amd/ |
| H A D | svm_softc.h | 90 VCPU_CTR4((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1, p2, p3, p4)
|
| /freebsd/sys/amd64/vmm/ |
| H A D | vmm_ioport.c | 168 VCPU_CTR4(vcpu_vm(vcpu), vcpu_vcpuid(vcpu), "%s%s 0x%04x: %s", in vm_handle_inout()
|
| H A D | vmm.c | 191 VCPU_CTR4((vcpu)->vm, (vcpu)->vcpuid, format, p1, p2, p3, p4)
|
| /freebsd/sys/amd64/vmm/intel/ |
| H A D | vmx.h | 165 VCPU_CTR4((vcpu)->vmx->vm, (vcpu)->vcpuid, format, p1, p2, p3, p4)
|