H A D | vmm_ktr.h | 1 /*- 2 * SPDX-License-Identifier: BSD-2-Clause 39 #define VCPU_CTR0(vm, vcpuid, format) \ argument 40 CTR2(KTR_VMM, "vm %s[%d]: " format, vm_name((vm)), (vcpuid)) 42 #define VCPU_CTR1(vm, vcpuid, format, p1) \ argument 43 CTR3(KTR_VMM, "vm %s[%d]: " format, vm_name((vm)), (vcpuid), (p1)) 45 #define VCPU_CTR2(vm, vcpuid, format, p1, p2) \ argument 46 CTR4(KTR_VMM, "vm %s[%d]: " format, vm_name((vm)), (vcpuid), (p1), (p2)) 48 #define VCPU_CTR3(vm, vcpuid, format, p1, p2, p3) \ argument 49 CTR5(KTR_VMM, "vm %s[%d]: " format, vm_name((vm)), (vcpuid), (p1), (p2), (p3)) [all …]
|