Symbol: VMX_CTR1
sys/amd64/vmm/intel/vmx.c
1264
VMX_CTR1(vcpu, "Resume execution at %#lx", vmcs_guest_rip());
sys/amd64/vmm/intel/vmx.c
1279
VMX_CTR1(vcpu, "astpending vmexit at 0x%0lx", rip);
sys/amd64/vmm/intel/vmx.c
1531
VMX_CTR1(vcpu, "Cannot inject NMI "
sys/amd64/vmm/intel/vmx.c
1535
VMX_CTR1(vcpu, "Cannot inject NMI due to "
sys/amd64/vmm/intel/vmx.c
1643
VMX_CTR1(vcpu, "Injecting hwintr at vector %d", vector);
sys/amd64/vmm/intel/vmx.c
2539
VMX_CTR1(vcpu, "rdmsr 0x%08x", ecx);
sys/amd64/vmm/intel/vmx.c
3235
VMX_CTR1(vcpu, "returning from vmx_run: exitcode %d",