sys/amd64/vmm/vmm.c
1225
VMM_CTR2(vcpu, "retu %d/%d", error, vme->exitcode);
sys/amd64/vmm/vmm.c
1257
VMM_CTR2(vcpu, "restarting instruction by updating "
sys/amd64/vmm/vmm.c
1283
VMM_CTR2(vcpu, "%s: info1(%#lx)", __func__, info);
sys/amd64/vmm/vmm.c
1359
VMM_CTR2(vcpu, "triple fault: info1(%#lx), info2(%#lx)",
sys/amd64/vmm/vmm.c
1413
VMM_CTR2(vcpu, "Exception %d delivered: %#lx",
sys/amd64/vmm/vmm.c
1464
VMM_CTR2(vcpu, "Unable to inject exception %d due to "
sys/amd64/vmm/vmm.c
1517
VMM_CTR2(vcpu, "Injecting page fault: error_code %#x, cr2 %#lx",
sys/amd64/vmm/vmm.c
861
VMM_CTR2(vcpu, "%s bit emulation for gpa %#lx",