sys/amd64/vmm/amd/svm.c

1030

SVM_CTR2(vcpu, "SVM:Pending INTINFO(0x%lx), vector=%d.\n", intinfo,

sys/amd64/vmm/amd/svm.c

1178

SVM_CTR2(vcpu, "wrmsr(efer) %#lx/%#lx", oldval, newval);

sys/amd64/vmm/amd/svm.c

1529

SVM_CTR2(vcpu, "Reset inst_length from %d "

sys/amd64/vmm/amd/svm.c

1546

SVM_CTR2(vcpu, "Reflecting exception "

sys/amd64/vmm/amd/svm.c

1564

SVM_CTR2(vcpu, "wrmsr %#x val %#lx", ecx, val);

sys/amd64/vmm/amd/svm.c

1611

SVM_CTR2(vcpu, "nested page fault with "

sys/amd64/vmm/amd/svm.c

1764

SVM_CTR2(vcpu, "Guest interrupt blocking "

sys/amd64/vmm/amd/svm.c

1848

SVM_CTR2(vcpu, "Cannot inject vector %d due to "

sys/amd64/vmm/amd/svm.c

1862

SVM_CTR2(vcpu, "Cannot inject vector %d due to "

sys/amd64/vmm/amd/svm.c

1899

SVM_CTR2(vcpu, "VMCB V_TPR changed from %#x to %#x",

sys/amd64/vmm/amd/svm.c

991

SVM_CTR2(vcpu, "Injecting %s at vector %d",