SVM_CTR4
SVM_CTR4(vcpu, "%s %s vmexit at %#lx/%d",
SVM_CTR4(vcpu, "Setting desc %d: base (%#lx), limit (%#x), "