VCPU_CTR1
VCPU_CTR1((vcpu)->sc->vm, (vcpu)->vcpuid, format, p1)
VCPU_CTR1((vcpu)->vmx->vm, (vcpu)->vcpuid, format, p1)
VCPU_CTR1((vlapic)->vm, (vlapic)->vcpuid, format, p1)
VCPU_CTR1((vcpu)->vm, (vcpu)->vcpuid, format, p1)