Symbol: VMX_CTR2
sys/amd64/vmm/intel/vmx.c
1478
VMX_CTR2(vcpu, "Guest interrupt blocking "
sys/amd64/vmm/intel/vmx.c
1591
VMX_CTR2(vcpu, "Cannot inject vector %d due to "
sys/amd64/vmm/intel/vmx.c
1598
VMX_CTR2(vcpu, "Cannot inject vector %d due to "
sys/amd64/vmm/intel/vmx.c
1612
VMX_CTR2(vcpu, "Cannot inject vector %d due to "
sys/amd64/vmm/intel/vmx.c
2559
VMX_CTR2(vcpu, "wrmsr 0x%08x value 0x%016lx",
sys/amd64/vmm/intel/vmx.c
2745
VMX_CTR2(vcpu, "Reflecting exception %d/%#x into "
sys/amd64/vmm/intel/vmx.c
3382
VMX_CTR2(vcpu, "Setting intr_shadow to %#lx %s", val,