SVM_CTR3
SVM_CTR3(vcpu, "nested page fault "
SVM_CTR3(vcpu, "inst_emul fault "
SVM_CTR3(vcpu, "intercept[%d] modified from %#x to %#x", idx,
SVM_CTR3(vcpu, "Injecting %s at vector %d errcode %#x",