VCPU_CTR2
VCPU_CTR2((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1, p2)
VCPU_CTR2((vcpu)->vmx->vm, (vcpu)->vcpuid, format, p1, p2)
VCPU_CTR2((vlapic)->vm, (vlapic)->vcpuid, format, p1, p2)
VCPU_CTR2((vcpu)->vm, (vcpu)->vcpuid, format, p1, p2)
VCPU_CTR2(vm, vcpu_id, "cpuid %#x,%#x", func, param);