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