vm_name
printf("%s: %s%d is running", __func__, vm_name(vcpu->sc->vm),
panic("vmx_getreg: %s%d is running", vm_name(vmx->vm),
panic("vmx_setreg: %s%d is running", vm_name(vmx->vm),
panic("vmx_getdesc: %s%d is running", vm_name(vmx->vm),
panic("vmx_setdesc: %s%d is running", vm_name(vmx->vm),
printf("%s: %s%d is running", __func__, vm_name(vmx->vm),
printf("%s: %s%d is running", __func__, vm_name(vmx->vm),
panic("arm_getreg: %s%d is running", vm_name(hypctx->hyp->vm),
panic("arm_setreg: %s%d is running", vm_name(hypctx->hyp->vm),
panic("%s: %s%d is running", __func__, vm_name(hypctx->hyp->vm),
error = make_dev_s(&mda, &dsc->cdev, "vmm.io/%s.%s", vm_name(sc->vm),
vm_name(vcpu_vm(vcpu)), vcpu_vcpuid(vcpu), state);
if (strcmp(name, vm_name(sc->vm)) == 0)
CTR2(KTR_VMM, "vm %s[%d]: " format, vm_name((vm)), (vcpuid))
CTR3(KTR_VMM, "vm %s[%d]: " format, vm_name((vm)), (vcpuid), (p1))
CTR4(KTR_VMM, "vm %s[%d]: " format, vm_name((vm)), (vcpuid), (p1), (p2))
CTR5(KTR_VMM, "vm %s[%d]: " format, vm_name((vm)), (vcpuid), (p1), (p2), (p3))
CTR6(KTR_VMM, "vm %s[%d]: " format, vm_name((vm)), (vcpuid), \
CTR1(KTR_VMM, "vm %s: " format, vm_name((vm)))
CTR2(KTR_VMM, "vm %s: " format, vm_name((vm)), (p1))
CTR3(KTR_VMM, "vm %s: " format, vm_name((vm)), (p1), (p2))
CTR4(KTR_VMM, "vm %s: " format, vm_name((vm)), (p1), (p2), (p3))
CTR5(KTR_VMM, "vm %s: " format, vm_name((vm)), (p1), (p2), (p3), (p4))
strlcpy(vm->vm_name, name, sizeof(vm->vm_name));
(*pr)("vmem %p '%s'\n", vm, vm->vm_name);
(vmem_size_t)(addr - bt->bt_start), vm->vm_name,
char vm_name[VMEM_NAME_MAX+1];
db_printf("vmem %p '%s'\n", vm, vm->vm_name);
vm->vm_name, size);
const char *vm_name;
device_get_unit(dev), "mode", &vm_name) != 0) {
if ((err = sscanf(vm_name, "%dx%d@%d", &w, &h, &r)) != 3) {
"Cannot parse video mode: %s\n", vm_name);
panic("%s: %s%d is running", __func__, vm_name(hypctx->hyp->vm),
panic("%s: %s%d is running", __func__, vm_name(hypctx->hyp->vm),
panic("%s: %s%d is running", __func__, vm_name(hypctx->hyp->vm),