VMM_CTR1
VMM_CTR1(vcpu, "restarting instruction at %#lx by "
VMM_CTR1(vcpu, "Exception %d pending", vector);
VMM_CTR1(vcpu, "Setting nextrip to %#lx", val);
VMM_CTR1(vcpu, "inst_emul fault accessing gpa %#lx", gpa);
VMM_CTR1(vcpu, "Error decoding instruction at %#lx",
VMM_CTR1(vcpu, "nextrip updated to %#lx after instruction decoding",