sys/amd64/vmm/amd/svm.c

1098

SVM_CTR1(vcpu, "Setting intr_shadow to %d", newval);

sys/amd64/vmm/amd/svm.c

1576

SVM_CTR1(vcpu, "rdmsr %#x", ecx);

sys/amd64/vmm/amd/svm.c

1737

SVM_CTR1(vcpu, "Injected entry intinfo: %#lx", intinfo);

sys/amd64/vmm/amd/svm.c

1802

SVM_CTR1(vcpu, "Cannot inject NMI due to "

sys/amd64/vmm/amd/svm.c

1855

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

sys/amd64/vmm/amd/svm.c

2238

SVM_CTR1(vcpu, "vmcb clean %#x", ctrl->vmcb_clean);

sys/amd64/vmm/amd/svm.c

2241

SVM_CTR1(vcpu, "Resume execution at %#lx", state->rip);

sys/amd64/vmm/amd/svm.c

2361

SVM_CTR1(vcpu, "svm_getreg: unknown register %#x", ident);

sys/amd64/vmm/amd/svm.c

2402

SVM_CTR1(vcpu, "svm_setreg: unknown register %#x", ident);

sys/amd64/vmm/amd/svm.c

304

SVM_CTR1(vcpu, "tsc offset changed to %#lx", offset);

sys/amd64/vmm/amd/vmcb.c

147

SVM_CTR1(vcpu, "Invalid size %d for VMCB access: %d", bytes);