VMX_CTR1
VMX_CTR1(vcpu, "Resume execution at %#lx", vmcs_guest_rip());
VMX_CTR1(vcpu, "astpending vmexit at 0x%0lx", rip);
VMX_CTR1(vcpu, "Cannot inject NMI "
VMX_CTR1(vcpu, "Cannot inject NMI due to "
VMX_CTR1(vcpu, "Injecting hwintr at vector %d", vector);
VMX_CTR1(vcpu, "rdmsr 0x%08x", ecx);
VMX_CTR1(vcpu, "returning from vmx_run: exitcode %d",