vcpu_debug        838 arch/x86/kvm/hyperv.c 		vcpu_debug(vcpu, "hv crash (0x%llx 0x%llx 0x%llx 0x%llx 0x%llx)\n",
vcpu_debug       1044 arch/x86/kvm/hyperv.c 			vcpu_debug(vcpu, "hyper-v reset requested\n");