SVM_DBG
SVM_DBG(svm, "No supported fault buffer class");
SVM_DBG(svm, "Initialised");
SVM_DBG(svm, "replay");
SVM_DBG(svm, "cancel %016llx %d %02x %02x", inst, hub, gpc, client);
SVM_DBG(svm, "fault %016llx %016llx %02x",
SVM_DBG(svm, "fault handler");
SVM_DBG(svm, "get %08x put %08x", buffer->get, buffer->put);
SVM_DBG(svm, "%d fault(s) pending", buffer->fault_nr);
SVM_DBG(svm, "inst %016llx -> svm-%p", inst, svmm);
SVM_DBG(svm, "get %08x put %08x (init)", buffer->get, buffer->put);