vcpu_debug
vcpu_debug(vcpu, "hv crash (0x%llx 0x%llx 0x%llx 0x%llx 0x%llx)\n",
vcpu_debug(vcpu, "hyper-v reset requested\n");