Symbol: VCPU_CTR4
sys/amd64/vmm/amd/svm_softc.h
90
VCPU_CTR4((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1, p2, p3, p4)
sys/amd64/vmm/intel/vmx.h
165
VCPU_CTR4((vcpu)->vmx->vm, (vcpu)->vcpuid, format, p1, p2, p3, p4)
sys/amd64/vmm/vmm.c
108
VCPU_CTR4((vcpu)->vm, (vcpu)->vcpuid, format, p1, p2, p3, p4)
sys/amd64/vmm/vmm_ioport.c
209
VCPU_CTR4(vcpu_vm(vcpu), vcpu_vcpuid(vcpu), "%s%s 0x%04x: %s",